source:
src/Clight
@
2011
Name | Size | Rev | Age | Author | Last Change |
---|---|---|---|---|---|
../ | |||||
cerco | 707 | 10 years | Remove old branch, which was merged after the move to src. | ||
test | 1993 | 9 years | Make front-end memory model only depend on the general definitions by … | ||
acc-0.1.spaces.patch | 130.1 KB | 416 | 10 years | Fix printing of switch statements as matita terms. | |
addRuntime.ma | 11.8 KB | 1618 | 9 years | Minor updates due to recent changes. | |
casts.ma | 7.8 KB | 1599 | 9 years | Start of merging of stuff into the standard library of Matita. | |
Cexec.ma | 21.0 KB | 1988 | 9 years | Abstraction of the memory contents in the memory models is no longer … | |
CexecComplete.ma | 17.1 KB | 1930 | 9 years | Tidy up labelling simulation stuff a bit. | |
CexecEquiv.ma | 39.7 KB | 1713 | 9 years | Add a distinguished final state to the front-end languages to match up … | |
CexecSound.ma | 23.3 KB | 1988 | 9 years | Abstraction of the memory contents in the memory models is no longer … | |
ClassifyOp.ma | 6.3 KB | 1872 | 9 years | Make binary operations in Cminor/RTLabs properly typed. A few extra … | |
clightPrintMatita.ml | 15.4 KB | 1633 | 9 years | Update Cminor pretty printer and examples. | |
compcert-1.7.1-matita.patch | 18.4 KB | 11 | 11 years | Fill in some axioms to aid executablity. Implement global variable … | |
Csem.ma | 54.1 KB | 1988 | 9 years | Abstraction of the memory contents in the memory models is no longer … | |
Csyntax.ma | 25.6 KB | 1920 | 9 years | Most of the labelling simulation. Still need to sort out switch … | |
fresh.ma | 4.0 KB | 1629 | 9 years | Sort out most of the fresh names stuff in Clight to Cminor. | |
label.ma | 7.5 KB | 1888 | 9 years | Show that labelling of expressions works ... after fixing it to match … | |
labelSimulation.ma | 52.1 KB | 2011 | 9 years | Minor cleanup. | |
README | 5.5 KB | 404 | 10 years | Update C-semantics README. | |
SimplifyCasts.ma | 149.2 KB | 2011 | 9 years | Minor cleanup. | |
switchRemoval.ma | 9.8 KB | 1915 | 9 years | Correction of a typo in switchRemoval. | |
toCminor.ma | 74.5 KB | 1884 | 9 years | Syntax changes to fit Paolo's commit. | |
TypeComparison.ma | 5.8 KB | 1872 | 9 years | Make binary operations in Cminor/RTLabs properly typed. A few extra … |
Note: See TracBrowser
for help on using the repository browser.