summaryrefslogtreecommitdiff
ModeNameSize
-rw-r--r--.gitignore269logplain
-rw-r--r--COPYING8562logplain
-rw-r--r--_oasis1219logplain
d---------misc47logplain
-rw-r--r--readme.rst1390logplain
-rw-r--r--sid.ml17063logplain
-rw-r--r--sid.mli13155logplain
-rw-r--r--sid.opam749logplain
-rw-r--r--sid_test.ml12222logplain
d---------util83logplain
-rw-r--r--xxd.ml3139logplain