|
|
957ba7c198
|
Staticdeps alg: remove "without dependency tracking"
This meant nothing here
|
2025-01-01 19:34:10 +01:00 |
|
|
|
d1401b068f
|
Typography: -- to ---
|
2024-09-01 16:56:48 +02:00 |
|
|
|
103e6a0687
|
Minor fixes
|
2024-09-01 16:38:12 +02:00 |
|
|
|
b5b0296102
|
Proof-read chapter 5 (staticdeps)
|
2024-09-01 16:05:21 +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 |
|
|
|
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 |
|
|
|
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 |
|
|
|
b42e2c3d80
|
Introduction: first full version
|
2023-10-15 18:20:36 +02:00 |
|
|
|
a9cfaef2f9
|
Staticdeps: evaluation part
|
2023-09-29 16:04:48 +02:00 |
|
|
|
3511d27516
|
Staticdeps: up to evaluation (not yet started)
|
2023-09-28 17:45:31 +02:00 |
|
|
|
094985307d
|
Introduce Valgrind
|
2023-09-27 17:45:05 +02:00 |
|
|
|
c2acf78476
|
Init staticdeps, write §1
|
2023-09-27 17:02:30 +02:00 |
|
|
|
90d49743f6
|
Base chapter setup
|
2023-09-14 15:22:34 +02:00 |
|
