source: Deliverables/Dissemination/front-end/final-review/front-end.out @ 3278

Last change on this file since 3278 was 3278, checked in by Ian Stark, 7 years ago

Renaming and moving

File size: 392 bytes
Line 
1\BOOKMARK [2][]{Outline0.1}{Correctness proofs}{}% 1
2\BOOKMARK [3][]{Outline0.1.1.12}{Generic lifting result}{Outline0.1}% 2
3\BOOKMARK [3][]{Outline0.1.2.15}{Simulations for compiler passes}{Outline0.1}% 3
4\BOOKMARK [2][]{Outline0.2}{Checking cost labelling properties}{}% 4
5\BOOKMARK [2][]{Outline0.3}{Construction of structured traces}{}% 5
6\BOOKMARK [2][]{Outline0.4}{Whole compiler}{}% 6
Note: See TracBrowser for help on using the repository browser.