summaryrefslogtreecommitdiff
path: root/docs/core-spec
ModeNameSize
-rw-r--r--.gitignore52logplain
-rw-r--r--CoreLint.ott11936logplain
-rw-r--r--CoreSyn.ott16257logplain
-rw-r--r--Makefile468logplain
-rw-r--r--README4047logplain
-rw-r--r--core-spec.mng10105logplain
-rw-r--r--core-spec.pdf334136logplain