source: src @ 1993

Name Size Rev Age Author Last Change
../
ASM 1987   9 years campbell Move BEValues to common to reflect their use in the memory model for …
Clight 1993   9 years campbell Make front-end memory model only depend on the general definitions by …
Cminor 1993   9 years campbell Make front-end memory model only depend on the general definitions by …
common 1993   9 years campbell Make front-end memory model only depend on the general definitions by …
ERTL 1730   9 years sacerdot Minor changes while studying the proof.
joint 1993   9 years campbell Make front-end memory model only depend on the general definitions by …
LIN 1601   9 years sacerdot Files ported to new version of the standard library.
LTL 1515   9 years campbell Add type of maps on positive binary numbers, and use them for …
RTL 1882   9 years tranquil big update, alas incomplete: joint changed a bit, and all BE languages …
RTLabs 1988   9 years campbell Abstraction of the memory contents in the memory models is no longer …
utilities 1976   9 years tranquil * monads: just changed some defs, which had to be propagated in some …
acc-matita-printers.patch 7.1 KB 1633   9 years campbell Update Cminor pretty printer and examples.
CHANGES 3.4 KB 1388   9 years sacerdot fetch_result implemented for ERTL. This required a different …
compiler.ma 503 bytes 1991   9 years campbell Put the front end transformations together and make an example use it.
root 26 bytes 703   10 years sacerdot lib is now the default standard library (after commit 11216 in …
TODO 606 bytes 1457   9 years sacerdot Bug fixed: when calling an internal function, the pc block is now set …
Note: See TracBrowser for help on using the repository browser.