source: src/joint @ 2954

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 23.9 KB 2946   7 years tranquil main novelties: * there is an in-built stack_usage nat in joint …
joint_fullexec.ma 1.0 KB 2952   7 years tranquil * corrected all back-end premains to not pass any arguments to the …
joint_printer.ma 10.0 KB 2859   7 years sacerdot Pretty printing improved (now it always starts the visit from lbl 1).
joint_semantics.ma 25.5 KB 2954   7 years tranquil resolved circular dependency for ERTLptr's semantics
linearise.ma 34.9 KB 2950   7 years sacerdot linearise repaired (did I do the right thing???)
lineariseProof.ma 105.7 KB 2808   7 years tranquil added local_stacksize to joint internal functions to accomodate for …
semantics_blocks.ma 7.1 KB 2883   7 years piccolo partial commit
semanticsUtils.ma 28.1 KB 2954   7 years tranquil resolved circular dependency for ERTLptr's semantics
StatusSimulationHelper.ma 23.6 KB 2940   7 years sacerdot 1. StatusSimulationHelper? changed to allow to use status_rel that …
String.ma 221 bytes 2647   7 years sacerdot Stupid typo fixed.
Traces.ma 8.0 KB 2952   7 years tranquil * corrected all back-end premains to not pass any arguments to the …
TranslateUtils.ma 25.1 KB 2946   7 years tranquil main novelties: * there is an in-built stack_usage nat in joint …
Note: See TracBrowser for help on using the repository browser.