Commit graph

143 commits

Author SHA1 Message Date
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
ceea025b65 Conclusion: mostly written, maybe lacks a conclusive paragraph 2024-04-24 20:08:50 +02:00
e2e1993d37 Conclusion: WIP 2024-04-24 18:40:39 +02:00
03f7eceb57 Automating manual frontend: discussion on loss of precision vs. automating 2024-04-20 17:08:40 +02:00
8d0af4198e Update TODO 2024-04-20 16:52:26 +02:00
8ba4c5874f Writeup §3.3 intro 2024-04-20 16:51:58 +02:00
10dbc5c26e Add TODO list 2024-04-20 16:33:45 +02:00
1905764236 Automated frontend: future works 2024-04-20 16:31:46 +02:00
5031fcff25 Frontend: WIP intro writeup 2024-04-10 17:38:36 +02:00
99887ecf4a Describe briefly Pipedream's fully qualified instructions 2024-03-29 20:41:30 +01:00
4810a53168 Fix annoying underful hbox in notations 2024-03-29 20:31:29 +01:00
a75da1cef4 Makefile: add upload target 2024-03-28 22:33:46 +01:00