source: src/joint @ 2595

Name Size Rev Age Author Last Change
../
BEMem.ma 4.5 KB 2437   8 years tranquil generalised calls to calls with pointers
blocks.ma 28.2 KB 2595   8 years tranquil * dropped locals and exit from definition of joint_if_function * new …
Erasure.ma 11.6 KB 2103   8 years campbell Make transform_*program take a more general transformation to make …
Joint.ma 18.5 KB 2595   8 years tranquil * dropped locals and exit from definition of joint_if_function * new …
linearise.ma 33.2 KB 2570   8 years piccolo ERTLtoERTLptr in place
lineariseProof.ma 106.2 KB 2570   8 years piccolo ERTLtoERTLptr in place
semantics.ma 27.4 KB 2595   8 years tranquil * dropped locals and exit from definition of joint_if_function * new …
semantics_blocks.ma 5.9 KB 2595   8 years tranquil * dropped locals and exit from definition of joint_if_function * new …
semanticsUtils.ma 4.1 KB 2529   8 years tranquil rewritten function handling in joint swapped call_rel with ret_rel in …
stacksize.ma 13.5 KB 2456   8 years boender - added simple proof
Traces.ma 10.1 KB 2590   8 years piccolo added monad machineary for ERTL to ERTLptr translation eval_seq_no_pc …
TranslateUtils.ma 19.5 KB 2595   8 years tranquil * dropped locals and exit from definition of joint_if_function * new …
Note: See TracBrowser for help on using the repository browser.