summaryrefslogtreecommitdiff
path: root/tools/memory-model/scripts
ModeNameSize
-rw-r--r--README1973logplain
-rwxr-xr-xcheckalllitmus.sh1689logplain
-rw-r--r--checkghlitmus.sh1858logplain
-rwxr-xr-xchecklitmus.sh997logplain
-rw-r--r--checklitmushist.sh1929logplain
-rw-r--r--cmplitmushist.sh2034logplain
-rw-r--r--initlitmushist.sh2281logplain
-rw-r--r--judgelitmus.sh1907logplain
-rw-r--r--newlitmushist.sh1851logplain
-rw-r--r--parseargs.sh2860logplain
-rw-r--r--runlitmushist.sh2084logplain