source:
src/joint
@
3261
| Name | Size | Rev | Age | Author | Last Change |
|---|---|---|---|---|---|
| ../ | |||||
| BEMem.ma | 4.5 KB | 2437 | 8 years | generalised calls to calls with pointers | |
| String.ma | 221 bytes | 2647 | 8 years | Stupid typo fixed. | |
| extra_joint_semantics.ma | 5.6 KB | 2783 | 8 years | modified joint_closed_internal_function definition (added condition on … | |
| lineariseProof.ma | 105.7 KB | 2808 | 8 years | added local_stacksize to joint internal functions to accomodate for … | |
| blocks.ma | 28.1 KB | 2879 | 8 years | changed coercion from list of joint_seq to blocks to a more efficient one | |
| semantics_blocks.ma | 7.2 KB | 2957 | 8 years | fixed semantics_blocks | |
| joint_fullexec.ma | 1.0 KB | 2968 | 8 years | The initial status memory was not really initialized. Now it is. | |
| linearise.ma | 34.8 KB | 3037 | 8 years | * ADDRESS joint instruction now has also an offset * corrected call to … | |
| semanticsUtils.ma | 28.4 KB | 3037 | 8 years | * ADDRESS joint instruction now has also an offset * corrected call to … | |
| TranslateUtils.ma | 25.9 KB | 3037 | 8 years | * ADDRESS joint instruction now has also an offset * corrected call to … | |
| joint_printer.ma | 12.0 KB | 3042 | 8 years | Repaired. | |
| Joint.ma | 25.2 KB | 3145 | 8 years | * removed sigma types from traces of intensional events * completed … | |
| joint_stacksizes.ma | 2.4 KB | 3145 | 8 years | * removed sigma types from traces of intensional events * completed … | |
| Traces.ma | 8.1 KB | 3145 | 8 years | * removed sigma types from traces of intensional events * completed … | |
| StatusSimulationHelper.ma | 88.9 KB | 3154 | 8 years | 1) changed block_of_call in order to prevent pre-main calls 2) … | |
| StatusSimulationUtils.ma | 70.4 KB | 3259 | 8 years | changed ERTL semantics: 1) added manipulation of stack pointer … | |
| joint_semantics.ma | 27.1 KB | 3261 | 8 years | reverted joint_semantics rtl_semantics and ltl_semantics | |
Note: See TracBrowser
for help on using the repository browser.
