| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2026-02-03 | chore: add definitions and better paper wording. | Amlal El Mahrouss | |
| Signed-off-by: Amlal El Mahrouss <amlal@nekernel.org> | |||
| 2026-02-01 | chore: makefile and paper organization improvements. | Amlal El Mahrouss | |
| Signed-off-by: Amlal El Mahrouss <amlal@nekernel.org> | |||
| 2026-01-30 | feat: wg0{1..5}: some tiny refactors on the paper and ocaml scripts. | Amlal El Mahrouss | |
| Signed-off-by: Amlal El Mahrouss <amlal@nekernel.org> | |||
| 2026-01-30 | chore: some paper updates. | Amlal El Mahrouss | |
| Signed-off-by: Amlal El Mahrouss <amlal@nekernel.org> | |||
| 2026-01-30 | chore: add dot to fix typo in tn001.05.tex | Amlal El Mahrouss | |
| Signed-off-by: Amlal El Mahrouss <amlal@nekernel.org> | |||
| 2026-01-29 | chore: improve tn001.05.tex, improve citations in wg03 and formulations. | Amlal El Mahrouss | |
| Signed-off-by: Amlal El Mahrouss <amlal@nekernel.org> | |||
| 2026-01-28 | chore: update papers. | Amlal El Mahrouss | |
| Signed-off-by: Amlal El Mahrouss <amlal@nekernel.org> | |||
| 2026-01-28 | chore: paper improvements, sending WG03 to preprint as well. | Amlal El Mahrouss | |
| Signed-off-by: Amlal El Mahrouss <amlal@nekernel.org> | |||
| 2026-01-27 | chore: tn001.05.tex: remove useless spaces. | Amlal El Mahrouss | |
| Signed-off-by: Amlal El Mahrouss <amlal@nekernel.org> | |||
| 2026-01-27 | chore: update technical note. | Amlal El Mahrouss | |
| Signed-off-by: Amlal El Mahrouss <amlal@nekernel.org> | |||
| 2026-01-26 | feat: Add technical notes for WG05. | Amlal El Mahrouss | |
| Signed-off-by: Amlal El Mahrouss <amlal@nekernel.org> | |||
| 2026-01-25 | chore: Improved WG02 and WG01 citations, add conclusion and citations for WG05. | Amlal El Mahrouss | |
| Signed-off-by: Amlal El Mahrouss <amlal@nekernel.org> | |||
| 2026-01-22 | feat: Add WG05 Paper 'The Execution Semantics: On Axioms, Domains, and | Amlal El Mahrouss | |
| Authority.' Signed-off-by: Amlal El Mahrouss <amlal@nekernel.org> | |||
