source: src/joint @ 2683

Name Size Rev Age Author Last Change
../
BEMem.ma 4.5 KB 2437   7 years tranquil generalised calls to calls with pointers
blocks.ma 27.7 KB 2674   7 years tranquil * another change in block definition * RTLabs -> RTL and ERTL -> …
Joint.ma 20.1 KB 2681   7 years tranquil * improvements to the graph translation function * fixed passes up to LTL
joint_semantics.ma 27.2 KB 2655   7 years tranquil new step in code semantic lemma
linearise.ma 33.2 KB 2570   7 years piccolo ERTLtoERTLptr in place
lineariseProof.ma 106.2 KB 2570   7 years piccolo ERTLtoERTLptr in place
semantics_blocks.ma 8.1 KB 2674   7 years tranquil * another change in block definition * RTLabs -> RTL and ERTL -> …
semanticsUtils.ma 18.2 KB 2683   7 years tranquil proof of properties of b_graph_program_transform (with an open axiom)
stacksize.ma 14.4 KB 2661   7 years sacerdot stacksize "repaired" by "considering" tailcalls Some daemons added …
String.ma 221 bytes 2647   7 years sacerdot Stupid typo fixed.
Traces.ma 9.0 KB 2681   7 years tranquil * improvements to the graph translation function * fixed passes up to LTL
TranslateUtils.ma 23.0 KB 2681   7 years tranquil * improvements to the graph translation function * fixed passes up to LTL
Note: See TracBrowser for help on using the repository browser.