source: src

Revision Log Mode:


Legend:

Added
Modified
Copied or renamed
Diff Rev Age Author Log Message
(edit) @1326   10 years sacerdot Code improved (now it uses the high level functions from …
(edit) @1325   10 years mulligan finished implementing the translate constant function
(edit) @1324   10 years sacerdot The semantics of extended statements must also consider the label …
(edit) @1323   10 years campbell Reduce number of notations for destructive let on pairs to one.
(edit) @1322   10 years sacerdot address => stack_address
(edit) @1321   10 years sacerdot No longer/never implemented files removed.
(edit) @1320   10 years sacerdot Frame operations implemented.
Diff Rev Age Author Log Message
(edit) @1318   10 years sacerdot Frame management implemented.
Diff Rev Age Author Log Message
(edit) @1316   10 years campbell Merge in id-lookup-branch to trunk.
(edit) @1315   10 years mulligan another move for the same reason. got rtlabs > rtl compiling again by …
(edit) @1314   10 years mulligan name changes so that bash tab completion actually works with some …
(edit) @1313   10 years sacerdot (E)RTL semantics ported to new data type for save/pop frame (but not …
(edit) @1312   10 years sacerdot Type of frame operations (pop_frame/save_frame) generalized to take in …
Diff Rev Age Author Log Message
(edit) @1309   10 years boender - refounded JEP
(edit) @1308   10 years mulligan changes to translate_cst
(edit) @1307   10 years mulligan adding translate_cst
(edit) @1306   10 years mulligan small changes to rtlabs. what axioms remain look hard to close. need …
Diff Rev Age Author Log Message
(edit) @1304   10 years sacerdot Work in progress.
(edit) @1303   10 years sacerdot 1. LTL/semantics.ma added (work in progress) 2. init_locals fixed to …
(edit) @1302   10 years sacerdot ERTL/semantics.ma ported to joint/SemanticUtils (in progress)
(edit) @1301   10 years sacerdot Axioms re-grouped according to their use.
(edit) @1300   10 years sacerdot More (graph) axioms implemented. Look at the comments marked with XXX …
(edit) @1299   10 years sacerdot Functions from RTL/semantics.ma generalized to work on every graph …
(edit) @1298   10 years sacerdot - fetch_statement now takes in input the globalenv - fetch_statement …
Diff Rev Age Author Log Message
(edit) @1296   10 years mulligan changes
(edit) @1295   10 years sacerdot More progress.
(edit) @1294   10 years sacerdot RTL semantics: porting to joint semantics started.
(edit) @1293   10 years mulligan finished rtl abs to rtl transformation subject to closing some axioms …
Note: See TracRevisionLog for help on using the revision log.