Altered spacing
treea2afc7f19caf82856da2290af8ed0d42461586b0
-rw-r--r-- 586 LICENSE
-rw-r--r-- 2838 README
drwxr-xr-x - benchmarks
drwxr-xr-x - code
-rw-r--r-- 540 debug.c
-rwxr-xr-x 674 debug.sh
drwxr-xr-x - muis
-rw-r--r-- 8194 opt.sim
-rwxr-xr-x 38 peek.sh
drwxr-xr-x - problems
-rw-r--r-- 15854 ref.sim
-rwxr-xr-x 537 run-test-on-test.sh
-rwxr-xr-x 245 test_codedir.sh
-rwxr-xr-x 648 test_supported.sh