summaryrefslogtreecommitdiffhomepage
path: root/source/wg01
AgeCommit message (Expand)Author
10 dayschore: upstream fixes.Amlal El Mahrouss
2026-02-25chore: update wg01 and wg04 module.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-27feat: WG01: fix tex document.Amlal El Mahrouss
2025-12-22fix: Better writting and document improvements.Amlal El Mahrouss
2025-12-22feat: Improve code example in WG01.Amlal El Mahrouss
2025-12-21feat: improved phrasing in WG01.Amlal El Mahrouss
2025-12-20chore: WG01 paper update.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-19chore: Grammar improvements in `wg01.tex`.Amlal El Mahrouss
2025-12-18chore: WG paper improvements, adding WG03.Amlal El Mahrouss
2025-12-17chore: Updated papers. Added dates for WG02.Amlal El Mahrouss
2025-12-16chore: update WG01 paper.Amlal El Mahrouss
2025-12-15chore: heavy documentation improvements.Amlal El Mahrouss
2025-12-15chore: new version of WG01, which improved the Vettable system.Amlal El Mahrouss
2025-12-15chore: updated WG01 paper.Amlal El Mahrouss
2025-12-14chore: new fixed WG01 and WG02 papers.Amlal El Mahrouss
2025-12-14chore: new papers and fixes.Amlal El Mahrouss
2025-12-14chore: update WG01 TTPI description.Amlal El Mahrouss
2025-12-14chore: updated paper specifications for WG01 and WG02.Amlal El Mahrouss
2025-12-14chore: WG01 paper improvements.Amlal El Mahrouss
2025-12-13chore: updated papers.Amlal El Mahrouss
2025-12-13chore: improved WG01 paper.Amlal El Mahrouss
2025-12-13chore: better phrasing and typo fixes.Amlal El Mahrouss
2025-12-13chore: update Godbolt link.Amlal El Mahrouss
2025-12-13chore: updated TeX document to remove `\\`.Amlal El Mahrouss
2025-12-12chore: update WG01 DDK example.Amlal El Mahrouss
2025-12-10feat: Freeze date to original date (November 2025), improve phrasing on TTPI....Amlal El Mahrouss
2025-12-08chore: WG01: code example tweaks and better conclusion.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
generated by cgit v1.2.3 (git 2.39.1) at 2026-03-12 23:09:04 +0000