source: src/joint @ 3362

Name Size Rev Age Author Last Change
../
BEMem.ma 4.5 KB 2437   7 years tranquil generalised calls to calls with pointers
blocks.ma 28.1 KB 2879   7 years tranquil changed coercion from list of joint_seq to blocks to a more efficient one
extra_joint_semantics.ma 5.6 KB 2783   7 years piccolo modified joint_closed_internal_function definition (added condition on …
Joint.ma 25.6 KB 3263   6 years tranquil moved callee saved saving and restoring to ERTL -> LTL pass (untrusted …
joint_fullexec.ma 1.0 KB 2968   7 years sacerdot The initial status memory was not really initialized. Now it is.
joint_printer.ma 12.0 KB 3042   7 years sacerdot Repaired.
joint_semantics.ma 27.4 KB 3265   6 years tranquil added validate_pointer filter in Interference added that intereference …
joint_stacksizes.ma 2.4 KB 3145   7 years tranquil * removed sigma types from traces of intensional events * completed …
linearise.ma 34.8 KB 3263   6 years tranquil moved callee saved saving and restoring to ERTL -> LTL pass (untrusted …
lineariseProof.ma 105.7 KB 2808   7 years tranquil added local_stacksize to joint internal functions to accomodate for …
semantics_blocks.ma 7.2 KB 2957   7 years tranquil fixed semantics_blocks
semanticsUtils.ma 28.4 KB 3265   6 years tranquil added validate_pointer filter in Interference added that intereference …
StatusSimulationHelper.ma 88.9 KB 3154   7 years piccolo 1) changed block_of_call in order to prevent pre-main calls 2) …
StatusSimulationUtils.ma 70.2 KB 3262   6 years piccolo reverted status_simulation_utils
String.ma 221 bytes 2647   7 years sacerdot Stupid typo fixed.
Traces.ma 8.1 KB 3145   7 years tranquil * removed sigma types from traces of intensional events * completed …
TranslateUtils.ma 28.0 KB 3263   6 years tranquil moved callee saved saving and restoring to ERTL -> LTL pass (untrusted …
Note: See TracBrowser for help on using the repository browser.