source: src/joint @ 2858

Name Size Rev Age Author Last Change
../
String.ma 221 bytes 2647   7 years sacerdot Stupid typo fixed.
joint_fullexec.ma 2.0 KB 2821   7 years tranquil * implemented preclassified system for joint (in joint/joint_fullexec.ma)
BEMem.ma 4.5 KB 2437   7 years tranquil generalised calls to calls with pointers
extra_joint_semantics.ma 5.6 KB 2783   7 years piccolo modified joint_closed_internal_function definition (added condition on …
StatusSimulationHelper.ma 6.9 KB 2855   7 years piccolo little bug fixed in TranslateUtils?.
semantics_blocks.ma 7.8 KB 2817   7 years sacerdot Repaired after Paolo's commit.
Traces.ma 9.1 KB 2824   7 years tranquil * moved sum on lists notation to extranat * used sum on lists to …
joint_printer.ma 10.0 KB 2858   7 years sacerdot Trying to pretty print the code graph in visit order. Slightly bugged …
Joint.ma 23.6 KB 2843   7 years piccolo 1) Fixed a litte bug in Joint.ma 2) ERTL to ERTLptr correctness proof …
semanticsUtils.ma 24.5 KB 2843   7 years piccolo 1) Fixed a litte bug in Joint.ma 2) ERTL to ERTLptr correctness proof …
TranslateUtils.ma 25.0 KB 2855   7 years piccolo little bug fixed in TranslateUtils?.
joint_semantics.ma 25.1 KB 2821   7 years tranquil * implemented preclassified system for joint (in joint/joint_fullexec.ma)
blocks.ma 27.7 KB 2674   7 years tranquil * another change in block definition * RTLabs -> RTL and ERTL -> …
linearise.ma 34.6 KB 2823   7 years tranquil * corrected bug in ERTL semantics (both delframe and newframe did the …
lineariseProof.ma 105.7 KB 2808   7 years tranquil added local_stacksize to joint internal functions to accomodate for …
Note: See TracBrowser for help on using the repository browser.