source: src/joint/Traces.ma

Revision Log Mode:


Legend:

Added
Modified
Copied or renamed
Diff Rev Age Author Log Message
(edit) @2638   8 years piccolo Back-end fixes for last Garnier's commit that removes the regions from …
(edit) @2601   8 years sacerdot Extraction to ocaml is now working, with a couple of bugs left. One …
(edit) @2590   8 years piccolo added monad machineary for ERTL to ERTLptr translation eval_seq_no_pc …
(edit) @2562   8 years piccolo linearise modified
(edit) @2561   8 years tranquil * moved CALL as different case than joint_seq: lots of broken code now …
(edit) @2556   8 years tranquil in joint semantics and traces: added a last popped calling address to …
(edit) @2553   8 years tranquil as_classify changed to a partial function added a status for tailcalls
(edit) @2538   8 years tranquil fixed Traces.ma after changes in joint/semantics.ma
(edit) @2529   8 years tranquil rewritten function handling in joint swapped call_rel with ret_rel in …
(edit) @2484   8 years piccolo fixed Traces and semantics added commutation record (not yet finished) …
(edit) @2481   8 years piccolo corrected some inconsistencies fixed some of lineariseProof
(edit) @2477   8 years tranquil status_simulation reformulated definition of joint_classify split up …
(edit) @2473   8 years tranquil put some generic stuff we need in the back end in extraGlobalenvs …
(edit) @2470   8 years tranquil completely separated program counters from code pointers in joint …
(edit) @2457   8 years tranquil rewritten function handling in joint swapped call_rel with ret_rel in …
(edit) @2443   8 years tranquil changed joint's stack pointer and internal stack
(edit) @2442   8 years piccolo Traces repaired. (By Paolo) Statement of lineariseProof in place.
(edit) @2422   8 years tranquil adapted joint to cl_call f
(edit) @2286   8 years tranquil Big update! * merge of all _paolo variants * reorganised some depends …
(copy) @2186   9 years tranquil updated joint semantics
copied from src/joint/as_semantics.ma:
(add) @1976   9 years tranquil * monads: just changed some defs, which had to be propagated in some …
Note: See TracRevisionLog for help on using the revision log.