-rw-r--r-- | 4142 | .gitignore | blob | history | raw |
-rw-r--r-- | 57 | Changes.txt | blob | history | raw |
-rw-r--r-- | 1103 | INSTALL.txt | blob | history | raw |
-rw-r--r-- | 1619 | Makefile | blob | history | raw |
-rw-r--r-- | 1889 | README.txt | blob | history | raw |
drwxr-xr-x | - | architecture | tree | history |
drwxr-xr-x | - | benchmarks | tree | history |
-rwxr-xr-x | 330 | configure | blob | history | raw |
drwxr-xr-x | - | examples | tree | history |
drwxr-xr-x | - | interpretor | tree | history |