summaryrefslogtreecommitdiffhomepage
path: root/source
AgeCommit message (Expand)Author
2026-01-22feat: Add WG05 Paper 'The Execution Semantics: On Axioms, Domains, andAmlal El Mahrouss
2026-01-15feat: paper definition improvements.Amlal El Mahrouss
2026-01-11feat: update CFF file.Amlal El Mahrouss
2026-01-10wip: Working on WG03. The Nectar Paper.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-18fix: Typo correction in WG02.Amlal El Mahrouss
2025-12-17chore: Updated papers. Added dates for WG02.Amlal El Mahrouss
2025-12-16chore: Improved makefile and structure.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: improve WG02 paper.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-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