root/Deliverables/D3.1/C-semantics
@
502
| Name | Size | Rev | Age | Last Change |
|---|---|---|---|---|
| ../ | ||||
| binary | 487 | 2 years | Port Clight semantics to the new-new matita syntax. | |
| oldlib | 488 | 2 years | Some missing equality constants used by destruct. | |
| test | 502 | 2 years | Fix not on nulls on Clight. | |
| acc-0.1.spaces.patch | 130.1 KB | 416 | 2 years | Fix printing of switch statements as matita terms. |
| Animation.ma | 1.9 KB | 487 | 2 years | Port Clight semantics to the new-new matita syntax. |
| AST.ma | 15.0 KB | 487 | 2 years | Port Clight semantics to the new-new matita syntax. |
| Cexec.ma | 30.9 KB | 500 | 2 years | Use dependent pointer type to ensure that the representation is always … |
| CexecComplete.ma | 16.5 KB | 500 | 2 years | Use dependent pointer type to ensure that the representation is always … |
| CexecEquiv.ma | 38.6 KB | 487 | 2 years | Port Clight semantics to the new-new matita syntax. |
| CexecSound.ma | 22.7 KB | 500 | 2 years | Use dependent pointer type to ensure that the representation is always … |
| compcert-1.7.1-matita.patch | 18.4 KB | 11 | 3 years | Fill in some axioms to aid executablity. Implement global variable lookups … |
| Coqlib.ma | 31.8 KB | 487 | 2 years | Port Clight semantics to the new-new matita syntax. |
| CostLabel.ma | 50 bytes | 487 | 2 years | Port Clight semantics to the new-new matita syntax. |
| Csem.ma | 77.8 KB | 502 | 2 years | Fix not on nulls on Clight. |
| Csyntax.ma | 34.0 KB | 498 | 2 years | Make block type a little more abstract; remove knowledge about the old … |
| depends | 1.5 KB | 474 | 2 years | Reduce "include"s to reduce compilation time. (Will be undone when moving … |
| Errors.ma | 7.4 KB | 487 | 2 years | Port Clight semantics to the new-new matita syntax. |
| Events.ma | 10.6 KB | 487 | 2 years | Port Clight semantics to the new-new matita syntax. |
| extralib.ma | 21.7 KB | 487 | 2 years | Port Clight semantics to the new-new matita syntax. |
| Floats.ma | 2.6 KB | 487 | 2 years | Port Clight semantics to the new-new matita syntax. |
| Globalenvs.ma | 51.2 KB | 500 | 2 years | Use dependent pointer type to ensure that the representation is always … |
| Integers.ma | 80.2 KB | 487 | 2 years | Port Clight semantics to the new-new matita syntax. |
| IOMonad.ma | 8.2 KB | 487 | 2 years | Port Clight semantics to the new-new matita syntax. |
| Maps.ma | 42.2 KB | 487 | 2 years | Port Clight semantics to the new-new matita syntax. |
| Mem.ma | 114.1 KB | 500 | 2 years | Use dependent pointer type to ensure that the representation is always … |
| README | 5.5 KB | 404 | 2 years | Update C-semantics README. |
| root | 32 bytes | 254 | 3 years | Reset matita root. |
| Smallstep.ma | 27.7 KB | 487 | 2 years | Port Clight semantics to the new-new matita syntax. |
| SmallstepExec.ma | 1.4 KB | 469 | 2 years | Update work-in-progress file to match current development. |
| Values.ma | 29.1 KB | 500 | 2 years | Use dependent pointer type to ensure that the representation is always … |
Note: See TracBrowser
for help on using the browser.
