changes
drwxr-xr-x - benchmark
-rwxr-xr-x 242 clean.sh
drwxr-xr-x - correctness-model
drwxr-xr-x - grammer
drwxr-xr-x - lib
-rw-r--r-- 882 note.txt
drwxr-xr-x - notes
-rwxr-xr-x 1083 run-javacc.sh
-rw-r--r-- 121 setup-env.sh
drwxr-xr-x - src