summaryrefslogtreecommitdiffhomepage
path: root/source/wg02
AgeCommit message (Expand)Author
10 dayschore: upstream fixes.Amlal El Mahrouss
2026-01-30feat: wg0{1..5}: some tiny refactors on the paper and ocaml scripts.Amlal El Mahrouss
2026-01-28chore: paper improvements, sending WG03 to preprint as well.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
2026-01-15feat: paper definition improvements.Amlal El Mahrouss
2025-12-22fix: Better writting and document improvements.Amlal El Mahrouss
2025-12-20chore: important improvements of wg02 and wg01.Amlal El Mahrouss
2025-12-19chore: Add tooling, updated existing papers.Amlal El Mahrouss
2025-12-18chore: WG paper improvements, adding WG03.Amlal El Mahrouss
2025-12-18fix: Typo correction in WG02.Amlal El Mahrouss
2025-12-17chore: Updated papers. Added dates for WG02.Amlal El Mahrouss
2025-12-15chore: heavy documentation improvements.Amlal El Mahrouss
2025-12-14chore: new fixed WG01 and WG02 papers.Amlal El Mahrouss
2025-12-14chore: updated paper specifications for WG01 and WG02.Amlal El Mahrouss
2025-12-13chore: improve WG02 paper.Amlal El Mahrouss
2025-12-13chore: updated papers.Amlal El Mahrouss
2025-12-10feat: Freeze date to original date (November 2025), improve phrasing on TTPI....Amlal El Mahrouss
2025-12-08chore: update code snippets, (WG02)Amlal El Mahrouss
2025-12-07chore: wg01 and wg02 improvements.Amlal El Mahrouss
2025-12-06chore: updated draft of WG01 and WG02.Amlal El Mahrouss