source:
Deliverables/Dissemination
@
3285
| Name | Size | Rev | Age | Author | Last Change |
|---|---|---|---|---|---|
| ../ | |||||
| proof-structured-traces | 2945 | 8 years | Minor tweak. | ||
| front-end | 3285 | 8 years | Renaming and moving | ||
| final-review | 3284 | 8 years | Moving and renaming | ||
| f-e | 3285 | 8 years | Renaming and moving | ||
| back-end | 3281 | 8 years | back end correctness slides, alas still incomplete | ||
| README | 3.3 KB | 2577 | 8 years | abstract of indexed labels talk | |
| labelling-approach-slide.pdf | 480.1 KB | 2584 | 8 years | * Update slides. | |
| funcca-slide.pdf | 438.0 KB | 2586 | 8 years | r | |
| fetopen.png | 138.1 KB | 2558 | 8 years | r | |
Note: See TracBrowser
for help on using the repository browser.
