source: src/Clight @ 961

Name Size Rev Age Author Last Change
../
test 961   10 years campbell Use precise bitvector sizes throughout the front end, rather than …
cerco 707   10 years campbell Remove old branch, which was merged after the move to src.
TypeComparison.ma 5.5 KB 891   10 years campbell Revise proofs affected by recent matita change.
toCminor.ma 29.7 KB 961   10 years campbell Use precise bitvector sizes throughout the front end, rather than …
README 5.5 KB 404   11 years campbell Update C-semantics README.
label.ma 7.4 KB 961   10 years campbell Use precise bitvector sizes throughout the front end, rather than …
Csyntax.ma 33.7 KB 961   10 years campbell Use precise bitvector sizes throughout the front end, rather than …
Csem.ma 80.4 KB 961   10 years campbell Use precise bitvector sizes throughout the front end, rather than …
compcert-1.7.1-matita.patch 18.4 KB 11   11 years campbell Fill in some axioms to aid executablity. Implement global variable …
clightPrintMatita.ml 15.2 KB 786   10 years campbell A version of the clight matita term printer for the current prototype.
CexecSound.ma 24.4 KB 961   10 years campbell Use precise bitvector sizes throughout the front end, rather than …
CexecEquiv.ma 40.0 KB 961   10 years campbell Use precise bitvector sizes throughout the front end, rather than …
CexecComplete.ma 17.4 KB 961   10 years campbell Use precise bitvector sizes throughout the front end, rather than …
Cexec.ma 23.5 KB 961   10 years campbell Use precise bitvector sizes throughout the front end, rather than …
casts.ma 7.5 KB 961   10 years campbell Use precise bitvector sizes throughout the front end, rather than …
acc-0.1.spaces.patch 130.1 KB 416   11 years campbell Fix printing of switch statements as matita terms.
Note: See TracBrowser for help on using the repository browser.