

@3255

7 years 
tranquil 
* dropped newframe and delframe (to be integrated in calls and returns …



@3145

7 years 
tranquil 
* removed sigma types from traces of intensional events
* completed …



@3037

7 years 
tranquil 
* ADDRESS joint instruction now has also an offset
* corrected call to …



@2876

7 years 
tranquil 
corrected another endianess bug in joint_semantics. Switched some …



@2862

7 years 
sacerdot 
Repaired, a reverse was enough.



@2861

7 years 
mckinna 
PROVISIONAL commit:
Unintentional list reversal cause final step of …



@2806

7 years 
tranquil 
new b_graph_translate obligations



@2689

7 years 
tranquil 
* fixed passes up to linearisation



@2681

7 years 
tranquil 
* improvements to the graph translation function
* fixed passes up to LTL



@2659

7 years 
sacerdot 
Tailcall elimination no longer necessary:
1. the backend is almost …



@2490

7 years 
tranquil 
switched back to Byte immediate (instead of beval ones)
propagated …



@2286

7 years 
tranquil 
Big update!
* merge of all _paolo variants
* reorganised some depends …



@2103

8 years 
campbell 
Make transform_*program take a more general transformation to make …



@2035

8 years 
sacerdot 
Fixed



@2032

8 years 
sacerdot 
!! BEWARE: major commit !!
1) [affects everybody]
split for …



@1995

8 years 
campbell 
Overall compiler definition; bits and pieces to
make everything happy(ish).



@1601

8 years 
sacerdot 
Files ported to new version of the standard library.



@1516

8 years 
sacerdot 
Ported to syntax of Matita 0.99.1.



@1481

8 years 
sacerdot 
Proof fixed. The new standard library does not index any longer the …



@1450

8 years 
sacerdot 
Disambiguation problem avoided.



@1388

8 years 
sacerdot 
fetch_result implemented for ERTL. This required a different …



@1352

8 years 
sacerdot 
This commit is made necessary by the last Matita change.
Inclusion is …



@1322

8 years 
sacerdot 
address => stack_address



@1315

8 years 
mulligan 
another move for the same reason. got rtlabs > rtl compiling again by …


copied from src/RTL/RTLtoERTL.ma:



@1284

8 years 
sacerdot 
Bugs fixed: fresh_label changes the label universe, but this was not …
