- The Borcherds’ method : Preliminary checks. April 26 ✓
- The classical Borcherds’ method. Section 1.7 – Integration into the pdf : Done. May 29 ✓
- Refining the upper bound on the number of orbits : Procedure AutParGen. Section 1.10 – Integration into the pdf : Done. April 26 ✓
- Refining the upper bound on the number of orbits : Getting rid of redundant representatives. Section 1.10 – Integration into the pdf : Done. April 26 ✓
- The Poolized Borcherds’ method. Section 1.11 – Integration into the document : Done. May 29 ✓
- CongChecker Block : Section 1.11 – Integration into the document : Done. April 26 ✓
- Poolized Functional Block (PFB) : Section 1.11 – Integration into the document : Done. April 26 ✓
- Autonomous Poolized Functional block (APFB) Sec 1.11 – Integration into the doc : Done. May 12 ✓
- Primary process iteration : Section 1.11 – Integration into the document : Done. April 26 ✓
- Towards a parallelized Borcherds’ : Exploration & computation of the walls Section 1.11 – Integration into the document : Done. April 26 ✓
- Diagram n°1 – Section 1.6 Integration into the document : Done. April 26 ✓
- Diagram n°2 – Section 1.6 Integration into the document : Done. April 26 ✓
- Diagram n°1 – Section 1.3 (ToolBox) Integration into the document : Done. April 26 ✓
- Diagram n°2 – Section 1.3 (ToolBox) Integration into the document : Done. April 26 ✓
- Diagram for section 1.8 “Embedding Update procedure”. Integ.into the doc : Done. April 26 ✓
- Diagram for section 1.8 “Stuck into a wall”. Integ into doc : Done. April 28 ✓
- Tiling illustration – Introduction. Integration into the document : Done. April 26 ✓
- Primary process / Aux. Processes figure with Hamster Emojis – Section 1.11. May 12 ✓
- AmpTester. Integration into the document : Done. April 28 ✓
- PModChecker. Integration into the document : Done. April 28 ✓
- SysFinder. Integration into the document : Done. May 12 ✓
