Name

Size

Rev 
Age

Author

Last Change 
../

ASM


1966

8 years

mulligan 
Progress made on main_thm proof: trying to find a pattern to use …

Clight


1954

8 years

campbell 
Initial state is in the labelling simulation
(modulo global envs results).

Cminor


1884

8 years

campbell 
Syntax changes to fit Paolo's commit.

common


1964

8 years

tranquil 
introduced as_label_of_cost and adapted accordingly. Equality of cost …

ERTL


1730

8 years

sacerdot 
Minor changes while studying the proof.

joint


1949

8 years

tranquil 
* lemma trace rel to eq flatten trace
* some more properties of …

LIN


1601

8 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

8 years

tranquil 
big update, alas incomplete:
joint changed a bit, and all BE languages …

RTLabs


1960

8 years

campbell 
Update RTLabs structured traces to make minor changes in definitions.

utilities


1949

8 years

tranquil 
* lemma trace rel to eq flatten trace
* some more properties of …

accmatitaprinters.patch

7.1 KB

1633

8 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 …

root

26 bytes

703

9 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 …


Property svn:mergeinfo set to

Note: See
TracBrowser
for help on using the repository browser.