aboutsummaryrefslogtreecommitdiff
path: root/examples/tutch
ModeNameSize
-rw-r--r--.gitignore15logplainblame
-rw-r--r--COPYING697logplainblame
-rw-r--r--Makefile181logplainblame
-rw-r--r--checks.sig1115logplainblame
-rw-r--r--checks.sml2254logplainblame
-rw-r--r--helper.sig2328logplainblame
-rw-r--r--helper.sml5909logplainblame
-rw-r--r--main.sml886logplainblame
-rwxr-xr-xrun.sh619logplainblame
-rw-r--r--sources.cm288logplainblame
d---------support186logplain
-rwxr-xr-xtest_checks.sh464logplainblame
d---------test_handins34logplain