source:
Deliverables/Dissemination/proof-structured-traces
@
3276
| Name | Size | Rev | Age | Author | Last Change |
|---|---|---|---|---|---|
| ../ | |||||
| cerco_logo.png | 145.5 KB | 2583 | 8 years | Structured traces talk with most of the content; not quite final. | |
| compiler-plain.pdf | 35.8 KB | 2941 | 8 years | Update proof slides. | |
| compiler.pdf | 84.1 KB | 2941 | 8 years | Update proof slides. | |
| compiler.svg | 19.9 KB | 2941 | 8 years | Update proof slides. | |
| proof-structured-traces.pdf | 526.2 KB | 2945 | 8 years | Minor tweak. | |
| proof-structured-traces.tex | 11.7 KB | 2945 | 8 years | Minor tweak. | |
| strcall.pdf | 35.4 KB | 2589 | 8 years | Add one of the simulation diagrams | |
| strcall.svg | 11.1 KB | 2589 | 8 years | Add one of the simulation diagrams | |
| strtraces.pdf | 36.6 KB | 2583 | 8 years | Structured traces talk with most of the content; not quite final. | |
| strtraces.svg | 30.5 KB | 2583 | 8 years | Structured traces talk with most of the content; not quite final. | |
| traces.svg | 36.2 KB | 2583 | 8 years | Structured traces talk with most of the content; not quite final. | |
Note: See TracBrowser
for help on using the repository browser.
