source: src/Clight @ 1884

Name Size Rev Age Author Last Change
../
cerco 707   10 years campbell Remove old branch, which was merged after the move to src.
test 1883   9 years campbell Ilias' switch removal code, plus a test.
acc-0.1.spaces.patch 130.1 KB 416   11 years campbell Fix printing of switch statements as matita terms.
addRuntime.ma 11.8 KB 1618   10 years campbell Minor updates due to recent changes.
casts.ma 7.8 KB 1599   10 years sacerdot Start of merging of stuff into the standard library of Matita.
Cexec.ma 21.1 KB 1874   9 years campbell First cut at using back-end memory model throughout. Note the …
CexecComplete.ma 17.5 KB 1713   9 years campbell Add a distinguished final state to the front-end languages to match up …
CexecEquiv.ma 39.7 KB 1713   9 years campbell Add a distinguished final state to the front-end languages to match up …
CexecSound.ma 23.3 KB 1876   9 years campbell Update Cexec soundness proof. Change finishes_with predicate to …
ClassifyOp.ma 6.3 KB 1872   9 years campbell Make binary operations in Cminor/RTLabs properly typed. A few extra …
clightPrintMatita.ml 15.4 KB 1633   9 years campbell Update Cminor pretty printer and examples.
compcert-1.7.1-matita.patch 18.4 KB 11   11 years campbell Fill in some axioms to aid executablity. Implement global variable …
Csem.ma 54.1 KB 1874   9 years campbell First cut at using back-end memory model throughout. Note the …
Csyntax.ma 25.3 KB 1872   9 years campbell Make binary operations in Cminor/RTLabs properly typed. A few extra …
fresh.ma 4.0 KB 1629   10 years campbell Sort out most of the fresh names stuff in Clight to Cminor.
label.ma 7.3 KB 1515   10 years campbell Add type of maps on positive binary numbers, and use them for …
README 5.5 KB 404   11 years campbell Update C-semantics README.
SimplifyCasts.ma 7.9 KB 1873   9 years campbell Fix up earlier front-end value conversion work.
switchRemoval.ma 9.8 KB 1883   9 years campbell Ilias' switch removal code, plus a test.
toCminor.ma 74.5 KB 1884   9 years campbell Syntax changes to fit Paolo's commit.
TypeComparison.ma 5.8 KB 1872   9 years campbell Make binary operations in Cminor/RTLabs properly typed. A few extra …
Note: See TracBrowser for help on using the repository browser.