Théophile Bastian d4c08646c9 Add ROB proof		2024-06-19 20:42:32 +02:00
..
00_opening	Fix annoying underful hbox in notations	2024-03-29 20:31:29 +01:00
10_introduction	Intro: quickly define static	2023-10-16 21:28:37 +02:00
20_foundations	Frontend: parametric model: remove decoders, enhance	2024-06-17 23:04:50 +02:00
30_palmed	Palmed: won't evaluate on A72	2024-05-11 15:45:41 +02:00
40_A72-frontend	Parametric frontend: add svgs, describe model	2024-06-18 23:21:42 +02:00
50_CesASMe	Staticdeps: up to evaluation (not yet started)	2023-09-28 17:45:31 +02:00
60_staticdeps	Add ROB proof	2024-06-19 20:42:32 +02:00
90_wrapping_up	Add Wrapping it all up? pre-conclusion small chapter	2024-06-15 21:18:46 +02:00
99_conclusion	Add Wrapping it all up? pre-conclusion small chapter	2024-06-15 21:18:46 +02:00
assets	Parametric frontend: add svgs, describe model	2024-06-18 23:21:42 +02:00
biblio	Staticdeps: evaluate with recompiled CesASMe	2024-06-19 11:54:38 +02:00
include	Add ROB proof	2024-06-19 20:42:32 +02:00
.gitignore	Import figures from CGO-Palmed, add build machinery for SVG	2023-09-14 15:32:55 +02:00
.latexmkrc	Manuscript: base setup	2023-09-13 15:42:57 +02:00
main.tex	Add Wrapping it all up? pre-conclusion small chapter	2024-06-15 21:18:46 +02:00
main.tex.latexmain	Add latexmk main file hint	2023-09-15 14:34:47 +02:00
Makefile	Makefile: add upload target	2024-03-28 22:33:46 +01:00