summaryrefslogtreecommitdiffhomepage
path: root/source/wg05
AgeCommit message (Expand)Author
2026-02-03chore: add definitions and better paper wording.Amlal El Mahrouss
2026-02-01chore: makefile and paper organization improvements.Amlal El Mahrouss
2026-01-30feat: wg0{1..5}: some tiny refactors on the paper and ocaml scripts.Amlal El Mahrouss
2026-01-30chore: some paper updates.Amlal El Mahrouss
2026-01-30chore: add dot to fix typo in tn001.05.texAmlal El Mahrouss
2026-01-29chore: improve tn001.05.tex, improve citations in wg03 and formulations.Amlal El Mahrouss
2026-01-28chore: update papers.Amlal El Mahrouss
2026-01-28chore: paper improvements, sending WG03 to preprint as well.Amlal El Mahrouss
2026-01-27chore: tn001.05.tex: remove useless spaces.Amlal El Mahrouss
2026-01-27chore: update technical note.Amlal El Mahrouss
2026-01-26feat: Add technical notes for WG05.Amlal El Mahrouss
2026-01-25chore: Improved WG02 and WG01 citations, add conclusion and citations for WG05.Amlal El Mahrouss
2026-01-22feat: Add WG05 Paper 'The Execution Semantics: On Axioms, Domains, andAmlal El Mahrouss
generated by cgit v1.2.3 (git 2.39.1) at 2026-03-12 23:00:11 +0000