source:
src/ERTLptr
@
2982
| Name | Size | Rev | Age | Author | Last Change |
|---|---|---|---|---|---|
| ../ | |||||
| uses.ma | 3.0 KB | 2741 | 8 years | File used only by untrusted code. Implemented in Matita to exploit … | |
| liveness.ma | 9.2 KB | 2949 | 8 years | Some advance/repairing in ERTLptrToLTLProof. In particular, we know … | |
| Interference.ma | 932 bytes | 2942 | 8 years | Many changes: 1. Coloured graphs are now specified in terms of … | |
| ERTLptrToLTLProof.ma | 49.8 KB | 2949 | 8 years | Some advance/repairing in ERTLptrToLTLProof. In particular, we know … | |
| ERTLptrToLTLAxiom.ma | 1003 bytes | 2946 | 8 years | main novelties: * there is an in-built stack_usage nat in joint … | |
| ERTLptrToLTL.ma | 16.5 KB | 2942 | 8 years | Many changes: 1. Coloured graphs are now specified in terms of … | |
| ERTLptr_semantics.ma | 2.6 KB | 2954 | 8 years | resolved circular dependency for ERTLptr's semantics | |
| ERTLptr_printer.ma | 1.3 KB | 2868 | 8 years | Pretty printing of ERTL and ERTLptr code. | |
| ERTLptr.ma | 3.3 KB | 2952 | 8 years | * corrected all back-end premains to not pass any arguments to the … | |
Note: See TracBrowser
for help on using the repository browser.
