source:
src/joint
@
2939
| Name | Size | Rev | Age | Author | Last Change |
|---|---|---|---|---|---|
| ../ | |||||
| extra_joint_semantics.ma | 5.6 KB | 2783 | 7 years | modified joint_closed_internal_function definition (added condition on … | |
| semantics_blocks.ma | 7.1 KB | 2883 | 7 years | partial commit | |
| semanticsUtils.ma | 24.5 KB | 2843 | 7 years | 1) Fixed a litte bug in Joint.ma 2) ERTL to ERTLptr correctness proof … | |
| TranslateUtils.ma | 25.0 KB | 2855 | 7 years | little bug fixed in TranslateUtils?. | |
| Joint.ma | 23.8 KB | 2865 | 7 years | … | |
| joint_printer.ma | 10.0 KB | 2859 | 7 years | Pretty printing improved (now it always starts the visit from lbl 1). | |
| joint_semantics.ma | 24.5 KB | 2920 | 7 years | dos2unix-ed | |
| StatusSimulationHelper.ma | 23.7 KB | 2939 | 7 years | Major problem: in order to accomodate the ERTLptrToLTL proof pass, the … | |
| String.ma | 221 bytes | 2647 | 7 years | Stupid typo fixed. | |
| Traces.ma | 8.9 KB | 2932 | 7 years | Same comment as previous commit on this file: the previous commit was … | |
| BEMem.ma | 4.5 KB | 2437 | 7 years | generalised calls to calls with pointers | |
| blocks.ma | 28.1 KB | 2879 | 7 years | changed coercion from list of joint_seq to blocks to a more efficient one | |
| joint_fullexec.ma | 2.0 KB | 2821 | 7 years | * implemented preclassified system for joint (in joint/joint_fullexec.ma) | |
| linearise.ma | 34.6 KB | 2823 | 7 years | * corrected bug in ERTL semantics (both delframe and newframe did the … | |
| lineariseProof.ma | 105.7 KB | 2808 | 7 years | added local_stacksize to joint internal functions to accomodate for … | |
Note: See TracBrowser
for help on using the repository browser.
