summaryrefslogtreecommitdiff
ModeNameSize
-rw-r--r--.gitignore269logplain
-rw-r--r--COPYING7652logplain
-rw-r--r--_oasis1169logplain
d---------misc47logplain
-rw-r--r--readme.rst466logplain
-rw-r--r--sid.ml8176logplain
-rw-r--r--sid.mli3095logplain
-rw-r--r--sid.opam566logplain
-rw-r--r--sid_test.ml11596logplain
d---------util83logplain
-rw-r--r--xxd.ml3105logplain