summaryrefslogtreecommitdiffhomepage
path: root/source/wg03
AgeCommit message (Expand)Author
10 dayschore: paper patches.Amlal El Mahrouss
11 dayswip: article for WG03.Amlal El Mahrouss
2026-02-06chore: update wg03 paper.Amlal El Mahrouss
2026-02-06chore: update papers with better writing and formalism.Amlal El Mahrouss
2026-02-01chore: update wg03 paper.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-29chore: improve tn001.05.tex, improve citations in wg03 and formulations.Amlal El Mahrouss
2026-01-28chore: working on WG03 paper.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-26feat: Add technical notes for WG05.Amlal El Mahrouss
2026-01-25chore: wg03: Working on WG03 paper.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
2026-01-11feat: update CFF file.Amlal El Mahrouss
2026-01-10wip: Working on WG03. The Nectar Paper.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-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:02 +0000