Commit graph

145 commits

Author SHA1 Message Date
6b0539a532 Use correct title in exif data 2025-01-10 21:16:05 +01:00
6882b16b3c Slight reword of FOSS pledge 2025-01-10 14:40:40 +01:00
084b0dc4f0 Update cover page -- this covers the last modification required 2025-01-10 14:28:25 +01:00
27023c6917 Fixup makefile make upload 2025-01-01 19:43:41 +01:00
89c2429e84 Add a FOSS pledge before references 2025-01-01 19:34:10 +01:00
33b1c9001f Fixup makefile targets 2025-01-01 19:34:10 +01:00
2a6b470960 Fixup page numbering for abstract 2025-01-01 19:34:10 +01:00
957ba7c198 Staticdeps alg: remove "without dependency tracking"
This meant nothing here
2025-01-01 19:34:10 +01:00
56a7e2ddb2 Mise à jour de métadonnées 2025-01-01 19:34:07 +01:00
8e419af28a Fixup main.tex metadata 2024-12-12 11:56:12 +01:00
e860033463 Add corrected titles in meta 2024-12-12 11:53:35 +01:00
43464b44ed Remerciements : encore quelques uns 2024-11-27 09:30:26 +01:00
322f85d9bf Add printout version (BW links, citations) 2024-11-25 12:18:35 +01:00
ac1d941f05 Fixup: remerciements 2024-11-24 16:04:19 +01:00
936c59fac9 Remerciements : fixups 2024-11-24 12:28:44 +01:00
017fba1cc1 Remerciements : première passe 2024-11-24 12:08:27 +01:00
ee9f9e93a5 Initiate file tracking changes to be made (with jury's agreement) 2024-11-16 15:09:55 +01:00
da9d606325 Wrapping up: minor rewordings 2024-10-04 18:46:51 +02:00
ad4d34bf1c Update: couverture de thèse (Gabriel Rodriguez) 2024-10-04 13:01:05 +02:00
652db51094 Add placeholder for acknowledgements 2024-10-03 13:30:16 +02:00
421eeaf4fd Adapt conclusion 2024-10-03 13:18:47 +02:00
c0ad837897 Wrapping up: writeup 2024-10-03 13:18:41 +02:00
e9cbfcd595 Update cover page 2024-09-29 19:32:30 +02:00
3f1addd39c Add abstracts (fr, en) in plain text 2024-09-21 15:05:01 +02:00
5e398461f5 Frontend: fix random float overlap 2024-09-08 11:08:37 +02:00
d1401b068f Typography: -- to --- 2024-09-01 16:56:48 +02:00
103e6a0687 Minor fixes 2024-09-01 16:38:12 +02:00
d3b99be7a1 Proof-read conclusion; index Wrapping it all up? in TOC 2024-09-01 16:21:54 +02:00
b5b0296102 Proof-read chapter 5 (staticdeps) 2024-09-01 16:05:21 +02:00
9cfeddeef7 Proof-read chapter 4 (CesASMe) 2024-08-18 17:42:44 +02:00
24e3d4a817 Proof-read chapter 3 (A72 frontend) 2024-08-17 15:43:20 +02:00
4e13835886 Proof-read chapter 2 (Palmed) 2024-08-17 13:03:32 +02:00
596950a835 Use algpseudocodex[noEnd], fix compilation error 2024-08-15 20:19:30 +02:00
34bdb39337 Fix bibiography ToC page number 2024-08-15 19:16:37 +02:00
4100d36c44 Full check of analyse -> analyze 2024-08-15 19:14:29 +02:00
8d4887cc63 Proof-read up to Foundations (incl) 2024-08-15 18:53:08 +02:00
c8c2b2db2a Version: use git tag if available 2024-08-14 09:48:53 +02:00
ce9d0dc8a0 Staticdeps algorithm: tentative inclusion
Must be typeset in a better way: does not fit single page
2024-08-14 09:41:43 +02:00
ea88bf2016 Add version information to PDF file 2024-08-14 09:39:52 +02:00
03e3e949e6 Remove Monte-Carlo 2024-06-22 16:43:06 +02:00
71c2a985d2 ROB proof: clarify, formalize 2024-06-22 16:40:42 +02:00
ef62c3b7e5 Small backports from paper 2024-06-20 17:56:52 +02:00
59de13b1d1 Add TODO 2024-06-20 14:37:03 +02:00
d4c08646c9 Add ROB proof 2024-06-19 20:42:32 +02:00
522b8fc05c Staticdeps: eval: adjust figures position 2024-06-19 11:59:47 +02:00
726763f895 Staticdeps: evaluate with recompiled CesASMe 2024-06-19 11:54:38 +02:00
bf6fd7c3f5 Parametric frontend: add svgs, describe model 2024-06-18 23:21:42 +02:00
cd0ebe3da6 Frontend: hardware loop: references 2024-06-18 19:08:41 +02:00
8c0e5e4710 Parametric frontend: add Fabrice's suggestions 2024-06-18 12:06:42 +02:00
7dc4ec9935 Parametric model: rename section 2024-06-18 09:52:32 +02:00