source: src

Revision Log Mode:


Legend:

Added
Modified
Copied or renamed
Diff Rev Age Author Log Message
(edit) @1316   9 years campbell Merge in id-lookup-branch to trunk.
(edit) @1315   9 years mulligan another move for the same reason. got rtlabs > rtl compiling again by …
(edit) @1314   9 years mulligan name changes so that bash tab completion actually works with some …
(edit) @1313   9 years sacerdot (E)RTL semantics ported to new data type for save/pop frame (but not …
(edit) @1312   9 years sacerdot Type of frame operations (pop_frame/save_frame) generalized to take in …
Diff Rev Age Author Log Message
(edit) @1309   9 years boender - refounded JEP
(edit) @1308   9 years mulligan changes to translate_cst
(edit) @1307   9 years mulligan adding translate_cst
(edit) @1306   9 years mulligan small changes to rtlabs. what axioms remain look hard to close. need …
Diff Rev Age Author Log Message
(edit) @1304   9 years sacerdot Work in progress.
(edit) @1303   9 years sacerdot 1. LTL/semantics.ma added (work in progress) 2. init_locals fixed to …
(edit) @1302   9 years sacerdot ERTL/semantics.ma ported to joint/SemanticUtils (in progress)
(edit) @1301   9 years sacerdot Axioms re-grouped according to their use.
(edit) @1300   9 years sacerdot More (graph) axioms implemented. Look at the comments marked with XXX …
(edit) @1299   9 years sacerdot Functions from RTL/semantics.ma generalized to work on every graph …
(edit) @1298   9 years sacerdot - fetch_statement now takes in input the globalenv - fetch_statement …
Diff Rev Age Author Log Message
(edit) @1296   9 years mulligan changes
(edit) @1295   9 years sacerdot More progress.
(edit) @1294   9 years sacerdot RTL semantics: porting to joint semantics started.
(edit) @1293   9 years mulligan finished rtl abs to rtl transformation subject to closing some axioms …
Note: See TracRevisionLog for help on using the revision log.