summaryrefslogtreecommitdiff
path: root/tools/memory-model/scripts
ModeNameSize
-rw-r--r--README1975logplain
-rwxr-xr-xcheckalllitmus.sh1690logplain
-rw-r--r--checkghlitmus.sh1858logplain
-rwxr-xr-xchecklitmus.sh998logplain
-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.sh3145logplain
-rw-r--r--runlitmushist.sh2085logplain