source: src/RTLabs @ 738

Name Size Rev Age Author Last Change
../
test 737   11 years campbell Use more abstract identifiers in Clight / RTLabs.
RTLabs-syntax.ma 3.3 KB 738   11 years campbell Use lower case names for identifiers for consistency with CompCert?
import.ma 7.6 KB 738   11 years campbell Use lower case names for identifiers for consistency with CompCert?
RTLabs-sem.ma 8.8 KB 736   11 years campbell Extra type safety for identifiers.
RTLabsMatitaPrinter.ml 9.1 KB 737   11 years campbell Use more abstract identifiers in Clight / RTLabs.
Note: See TracBrowser for help on using the repository browser.