source: src/joint @ 2559

Name Size Rev Age Author Last Change
../
BEMem.ma 4.5 KB 2437   7 years tranquil generalised calls to calls with pointers
blocks.ma 22.4 KB 2422   7 years tranquil adapted joint to cl_call f
Erasure.ma 11.6 KB 2103   7 years campbell Make transform_*program take a more general transformation to make …
Joint.ma 19.0 KB 2547   7 years tranquil going on in proof of linearise simplified by use of monadic functional …
linearise.ma 33.0 KB 2547   7 years tranquil going on in proof of linearise simplified by use of monadic functional …
lineariseProof.ma 105.8 KB 2559   7 years piccolo lineariseProof finished
semantics.ma 26.9 KB 2556   7 years tranquil in joint semantics and traces: added a last popped calling address to …
semantics_blocks.ma 4.0 KB 2529   7 years tranquil rewritten function handling in joint swapped call_rel with ret_rel in …
semanticsUtils.ma 4.1 KB 2529   7 years tranquil rewritten function handling in joint swapped call_rel with ret_rel in …
stacksize.ma 13.5 KB 2456   7 years boender - added simple proof
Traces.ma 11.0 KB 2556   7 years tranquil in joint semantics and traces: added a last popped calling address to …
TranslateUtils.ma 12.1 KB 2557   7 years tranquil minor modification of commented (for now) proof of correctness of …
Note: See TracBrowser for help on using the repository browser.