source:
src/Clight
@
1363
Name | Size | Rev | Age | Author | Last Change |
---|---|---|---|---|---|
../ | |||||
cerco | 707 | 10 years | Remove old branch, which was merged after the move to src. | ||
test | 1332 | 9 years | Summation example updated (needs computational K). | ||
fresh.ma | 1.6 KB | 1207 | 9 years | Second part of fixing temporaries in Clight to Cminor stage. | |
README | 5.5 KB | 404 | 10 years | Update C-semantics README. | |
TypeComparison.ma | 5.7 KB | 1352 | 9 years | This commit is made necessary by the last Matita change. Inclusion is … | |
label.ma | 7.4 KB | 1224 | 9 years | Type of programs in common/AST made more dependent. In particular, the … | |
casts.ma | 7.5 KB | 961 | 10 years | Use precise bitvector sizes throughout the front end, rather than … | |
SimplifyCasts.ma | 7.9 KB | 1224 | 9 years | Type of programs in common/AST made more dependent. In particular, the … | |
addRuntime.ma | 11.8 KB | 1276 | 9 years | Support for replacing operations with runtime support functions in … | |
clightPrintMatita.ml | 15.4 KB | 1226 | 9 years | Adjust pretty printers for change in program records, try a test of each. | |
CexecComplete.ma | 17.4 KB | 1244 | 9 years | Sort out Clight semantics equivalence proof for new SmallstepExec?. | |
compcert-1.7.1-matita.patch | 18.4 KB | 11 | 11 years | Fill in some axioms to aid executablity. Implement global variable … | |
Cexec.ma | 21.4 KB | 1244 | 9 years | Sort out Clight semantics equivalence proof for new SmallstepExec?. | |
CexecSound.ma | 24.0 KB | 1350 | 9 years | Porting to latest destruct tactic. Note: the tactics has a few … | |
Csyntax.ma | 33.7 KB | 1224 | 9 years | Type of programs in common/AST made more dependent. In particular, the … | |
CexecEquiv.ma | 39.7 KB | 1352 | 9 years | This commit is made necessary by the last Matita change. Inclusion is … | |
toCminor.ma | 42.4 KB | 1351 | 9 years | Tidy up some loose ends from the invariants branch merge. | |
Csem.ma | 54.0 KB | 1231 | 9 years | Change SmallstepExec? so that states can depend on global information. … | |
acc-0.1.spaces.patch | 130.1 KB | 416 | 10 years | Fix printing of switch statements as matita terms. |
Note: See TracBrowser
for help on using the repository browser.