source: src/common/

Revision Log Mode:


Copied or renamed
Diff Rev Age Author Log Message
(edit) @2608   8 years garnier Regions are no more stored in blocks. block_region now tests the id, …
(edit) @2590   8 years piccolo added monad machineary for ERTL to ERTLptr translation eval_seq_no_pc …
(edit) @2570   8 years piccolo ERTLtoERTLptr in place
(edit) @2478   9 years tranquil unified is_internal_function_of_program and is_internal_function
(edit) @2476   9 years piccolo fixed commutation lemmas in lineariseProof started proof of main …
(edit) @2474   9 years tranquil changed form of a statement
(add) @2473   9 years tranquil put some generic stuff we need in the back end in extraGlobalenvs …
Note: See TracRevisionLog for help on using the revision log.