source: Deliverables @ 480

Name Size Rev Age Author Last Change
../
D6.1 18   11 years sacerdot logo moved
style 19   11 years sacerdot
D6.2 48   11 years mulligan finished touching up report's English
D2.1 59   11 years sacerdot Added a new appendix for assessment within the CerCo? project.
D2.3 461   10 years campbell Handle null pointer constants properly for generic pointers …
D4.1 475   10 years mulligan Matita interpreter ported to latest version of matita (the one with …
D4.2-4.3 476   10 years mulligan Commiting directory for formalization of intermediate compiler languages.
D3.1 480   10 years campbell "memory_space" to "region" replacement to match ocaml code
LIN.ma 0 bytes 477   10 years mulligan Added file for LIN.
Note: See TracBrowser for help on using the repository browser.