tools/memory-model/scripts/checkghlitmus.sh
100644 → 100755
+0
−0
tools/memory-model/scripts/checklitmushist.sh
100644 → 100755
+0
−0
tools/memory-model/scripts/cmplitmushist.sh
100644 → 100755
+0
−0
tools/memory-model/scripts/initlitmushist.sh
100644 → 100755
+0
−0
tools/memory-model/scripts/judgelitmus.sh
100644 → 100755
+0
−0
Loading