LICENSE, MINES
-rw-r--r-- 4142 .gitignore
-rw-r--r-- 57 Changes.txt
-rw-r--r-- 1044 INSTALL.txt
-rw-r--r-- 35147 LICENSE.txt
-rw-r--r-- 1618 Makefile
-rw-r--r-- 2017 README.txt
drwxr-xr-x - architecture
drwxr-xr-x - benchmarks
-rwxr-xr-x 330 configure
drwxr-xr-x - examples
drwxr-xr-x - interpreter