source: src/joint @ 2497

Name Size Rev Age Author Last Change
../
BEMem.ma 4.5 KB 2437   8 years tranquil generalised calls to calls with pointers
blocks.ma 22.4 KB 2422   8 years tranquil adapted joint to cl_call f
Erasure.ma 11.6 KB 2103   8 years campbell Make transform_*program take a more general transformation to make …
Joint.ma 18.7 KB 2490   8 years tranquil switched back to Byte immediate (instead of beval ones) propagated …
linearise.ma 27.4 KB 2481   8 years piccolo corrected some inconsistencies fixed some of lineariseProof
lineariseProof.ma 56.6 KB 2495   8 years piccolo continuing lineariseProof
semantics.ma 26.0 KB 2491   8 years tranquil fixed wrt change of list member definition
semantics_blocks.ma 8.5 KB 2422   8 years tranquil adapted joint to cl_call f
semanticsUtils.ma 3.2 KB 2470   8 years tranquil completely separated program counters from code pointers in joint …
stacksize.ma 13.5 KB 2456   8 years boender - added simple proof
Traces.ma 9.0 KB 2484   8 years piccolo fixed Traces and semantics added commutation record (not yet finished) …
TranslateUtils.ma 12.1 KB 2443   8 years tranquil changed joint's stack pointer and internal stack
Note: See TracBrowser for help on using the repository browser.