summaryrefslogtreecommitdiffhomepage
path: root/tools
AgeCommit message (Expand)Author
2026-02-13feat: improve OCaml scripts. (tools), rename drafts to articles (fs).Amlal El Mahrouss
2026-02-01init: draft paper on C-index structures.Amlal El Mahrouss
2026-01-31chore: update build system of `papers` repository.Amlal El Mahrouss
2026-01-30feat: wg0{1..5}: some tiny refactors on the paper and ocaml scripts.Amlal El Mahrouss
2026-01-30chore: reworked addpaper.ml, working on addentry.mlAmlal El Mahrouss
2026-01-23fix: tools: fix mktex.ml helper.Amlal El Mahrouss
2026-01-23chore: improve makefile and ocamlformat.Amlal El Mahrouss
2026-01-22feat: Add WG05 Paper 'The Execution Semantics: On Axioms, Domains, andAmlal El Mahrouss
2026-01-01fix: mktex.ml: scoping bug patch at line 40-43.Amlal El Mahrouss
2025-12-27fix: add newline to mktex.ml.Amlal El Mahrouss
2025-12-22chore: Better help prompt for `mktex`.Amlal El Mahrouss
2025-12-21feat: new `mktex.ml` tool.Amlal El Mahrouss
2025-12-19chore: Add tooling, updated existing papers.Amlal El Mahrouss
2025-12-06chore: New readme, index.md, and updated wg02.Amlal El Mahrouss
2025-12-05chore: wip: python tooling to build PDFs out of Tex files.Amlal El Mahrouss
2025-12-05chore: WG02: Link fixes and author tweaks. Add INDEX.md in draft/Amlal El Mahrouss
generated by cgit v1.2.3 (git 2.39.1) at 2026-03-12 22:55:26 +0000