File Name ↓ | File Size ↓ | Date ↓ |
---|---|---|
Parent directory/ | - | - |
CoreLint.ott | 20200 | 2021-Jul-06 09:42 |
CoreSyn.ott | 30506 | 2021-Jul-06 09:42 |
Makefile | 508 | 2021-Jul-06 09:25 |
OpSem.ott | 4158 | 2021-Jul-06 09:25 |
README | 4038 | 2021-Jul-06 09:42 |
core-spec.mng | 26286 | 2021-Jul-06 09:42 |
core-spec.pdf | 376701 | 2021-Jul-06 09:42 |