summaryrefslogtreecommitdiff
path: root/docs/core-spec
ModeNameSize
-rw-r--r--.gitignore58logplain
-rw-r--r--CoreLint.ott18520logplain
-rw-r--r--CoreSyn.ott29498logplain
-rw-r--r--Makefile508logplain
-rw-r--r--OpSem.ott4158logplain
-rw-r--r--README4048logplain
-rw-r--r--core-spec.mng23331logplain
-rw-r--r--core-spec.pdf366905logplain