source: src/joint @ 3037

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.1 KB 2879   8 years tranquil changed coercion from list of joint_seq to blocks to a more efficient one
extra_joint_semantics.ma 5.6 KB 2783   8 years piccolo modified joint_closed_internal_function definition (added condition on …
Joint.ma 24.8 KB 3037   8 years tranquil * ADDRESS joint instruction now has also an offset * corrected call to …
joint_fullexec.ma 1.0 KB 2968   8 years sacerdot The initial status memory was not really initialized. Now it is.
joint_printer.ma 11.9 KB 2996   8 years sacerdot Printing of graphs now starts from the entry point.
joint_semantics.ma 25.6 KB 3037   8 years tranquil * ADDRESS joint instruction now has also an offset * corrected call to …
linearise.ma 34.8 KB 3037   8 years tranquil * ADDRESS joint instruction now has also an offset * corrected call to …
lineariseProof.ma 105.7 KB 2808   8 years tranquil added local_stacksize to joint internal functions to accomodate for …
semantics_blocks.ma 7.2 KB 2957   8 years tranquil fixed semantics_blocks
semanticsUtils.ma 28.4 KB 3037   8 years tranquil * ADDRESS joint instruction now has also an offset * corrected call to …
StatusSimulationHelper.ma 36.2 KB 2991   8 years piccolo Fixed cond and seq case in StatusSimulationHelper? Added cost case in …
String.ma 221 bytes 2647   8 years sacerdot Stupid typo fixed.
Traces.ma 8.1 KB 3014   8 years tranquil ERTL to ERTLptr pass suppressed (it introduced a bug in the later …
TranslateUtils.ma 25.9 KB 3037   8 years tranquil * ADDRESS joint instruction now has also an offset * corrected call to …
Note: See TracBrowser for help on using the repository browser.