summaryrefslogtreecommitdiff
ModeNameSize
-rw-r--r--.gitignore54logplain
-rw-r--r--LICENSE26444logplain
-rw-r--r--Makefile750logplain
-rw-r--r--README.md41logplain
-rw-r--r--_oasis971logplain
-rwxr-xr-xbuild-setup.sh44logplain
-rwxr-xr-xconfigure363logplain
d---------data / schemata35logplain
d---------scripts82logplain
-rw-r--r--setup.ml2044logplain
d---------src188logplain
d---------test89logplain