Commit graph

136 commits

Author SHA1 Message Date
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
ff7157993d Parametric frontend: first writeup 2024-06-18 09:50:28 +02:00
e717475763 Parametric frontend: rewordings 2024-06-18 09:12:30 +02:00
dd18392128 Frontend: parametric model: remove decoders, enhance 2024-06-17 23:04:50 +02:00
63c4a26630 WIP: Frontend: refactor + skeleton of parametric 2024-06-17 11:21:04 +02:00
a2229adeea Add Wrapping it all up? pre-conclusion small chapter 2024-06-15 21:18:46 +02:00
461fb3786f Palmed: won't evaluate on A72
This is a bit too much work for something that is not technically my
contribution, so the added value per effort spent is low.
2024-05-11 15:45:41 +02:00
46ae338e3d Staticdeps lifetime size: backref 2024-05-11 15:42:57 +02:00
9e78230e91 Depsim: add chapter conclusion 2024-05-05 20:11:53 +02:00
611c172f90 Staticdeps: speedup analysis 2024-05-05 19:50:30 +02:00