summaryrefslogtreecommitdiff
path: root/tools/memory-model/scripts
ModeNameSize
-rw-r--r--README3666logplain
-rwxr-xr-xcheckalllitmus.sh1798logplain
-rwxr-xr-xcheckghlitmus.sh1892logplain
-rwxr-xr-xchecklitmus.sh552logplain
-rwxr-xr-xchecklitmushist.sh1924logplain
-rwxr-xr-xchecktheselitmus.sh1150logplain
-rwxr-xr-xcmplitmushist.sh3314logplain
-rwxr-xr-xhwfnseg.sh415logplain
-rwxr-xr-xinitlitmushist.sh2276logplain
-rwxr-xr-xjudgelitmus.sh4708logplain
-rwxr-xr-xnewlitmushist.sh1841logplain
-rwxr-xr-xparseargs.sh3332logplain
-rwxr-xr-xrunlitmus.sh2474logplain
-rwxr-xr-xrunlitmushist.sh2138logplain
-rwxr-xr-xsimpletest.sh856logplain