source:
src/Clight
@
871
Name | Size | Rev | Age | Author | Last Change |
---|---|---|---|---|---|
../ | |||||
cerco | 707 | 10 years | Remove old branch, which was merged after the move to src. | ||
test | 816 | 10 years | Clight to Cminor compilation, modulo switch statements, temporary … | ||
acc-0.1.spaces.patch | 130.1 KB | 416 | 10 years | Fix printing of switch statements as matita terms. | |
casts.ma | 7.5 KB | 824 | 10 years | Some work on showing that casts around integer operations can be removed. | |
Cexec.ma | 28.2 KB | 797 | 10 years | Add error messages wherever the error monad is used. Sticks to … | |
CexecComplete.ma | 16.5 KB | 797 | 10 years | Add error messages wherever the error monad is used. Sticks to … | |
CexecEquiv.ma | 39.6 KB | 798 | 10 years | Fix usual matita tactic mistake. | |
CexecSound.ma | 23.5 KB | 797 | 10 years | Add error messages wherever the error monad is used. Sticks to … | |
clightPrintMatita.ml | 15.2 KB | 786 | 10 years | A version of the clight matita term printer for the current prototype. | |
compcert-1.7.1-matita.patch | 18.4 KB | 11 | 11 years | Fill in some axioms to aid executablity. Implement global variable … | |
Csem.ma | 78.4 KB | 816 | 10 years | Clight to Cminor compilation, modulo switch statements, temporary … | |
Csyntax.ma | 33.8 KB | 816 | 10 years | Clight to Cminor compilation, modulo switch statements, temporary … | |
label.ma | 7.3 KB | 781 | 10 years | Implement labelling pass for Clight. | |
README | 5.5 KB | 404 | 10 years | Update C-semantics README. | |
toCminor.ma | 21.7 KB | 816 | 10 years | Clight to Cminor compilation, modulo switch statements, temporary … |
Note: See TracBrowser
for help on using the repository browser.