source:
src/Clight
@
719
| Name | Size | Rev | Age | Author | Last Change |
|---|---|---|---|---|---|
| ../ | |||||
| cerco | 707 | 10 years | Remove old branch, which was merged after the move to src. | ||
| test | 717 | 10 years | Clean up Clight examples; better temporary definition of multiply. | ||
| acc-0.1.spaces.patch | 130.1 KB | 416 | 10 years | Fix printing of switch statements as matita terms. | |
| Animation.ma | 2.0 KB | 718 | 10 years | Add an AST type (i.e., intermediate language type) for pointers. | |
| AST.ma | 15.0 KB | 718 | 10 years | Add an AST type (i.e., intermediate language type) for pointers. | |
| Cexec.ma | 29.7 KB | 718 | 10 years | Add an AST type (i.e., intermediate language type) for pointers. | |
| CexecComplete.ma | 16.6 KB | 708 | 10 years | Use a more normalize-friendly definition of clight_exec to make the … | |
| CexecEquiv.ma | 39.2 KB | 708 | 10 years | Use a more normalize-friendly definition of clight_exec to make the … | |
| CexecSound.ma | 23.2 KB | 708 | 10 years | Use a more normalize-friendly definition of clight_exec to make the … | |
| compcert-1.7.1-matita.patch | 18.4 KB | 11 | 11 years | Fill in some axioms to aid executablity. Implement global variable … | |
| CostLabel.ma | 57 bytes | 700 | 10 years | Get Clight semantics going again (except for problems CexecEquiv? that … | |
| Csem.ma | 78.4 KB | 717 | 10 years | Clean up Clight examples; better temporary definition of multiply. | |
| Csyntax.ma | 33.8 KB | 718 | 10 years | Add an AST type (i.e., intermediate language type) for pointers. | |
| README | 5.5 KB | 404 | 10 years | Update C-semantics README. | |
Note: See TracBrowser
for help on using the repository browser.
