summaryrefslogtreecommitdiffhomepage
AgeCommit message (Expand)Author
2026-02-04chore: modernize Coq imports.Amlal El Mahrouss
2026-02-04chore: Update papers repository structure.Amlal El Mahrouss
2026-02-03chore: Update C Index Property paper.Amlal El Mahrouss
2026-02-03chore: add definitions and better paper wording.Amlal El Mahrouss
2026-02-01chore: makefile and paper organization improvements.Amlal El Mahrouss
2026-02-01chore: update wg03 paper.Amlal El Mahrouss
2026-02-01chore: update paper typo.Amlal El Mahrouss
2026-02-01chore: update draft.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-31chore: makefile: remove `all` rule.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-30chore: add dot to fix typo in tn001.05.texAmlal El Mahrouss
2026-01-30chore: reworked addpaper.ml, working on addentry.mlAmlal El Mahrouss
2026-01-29chore: improve tn001.05.tex, improve citations in wg03 and formulations.Amlal El Mahrouss
2026-01-29chore: Fix warning on newer versions of Rocq.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-27chore: tn001.05.tex: remove useless spaces.Amlal El Mahrouss
2026-01-27chore: update technical note.Amlal El Mahrouss
2026-01-26chore: update makefile rules.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-25chore: Improved WG02 and WG01 citations, add conclusion and citations for WG05.Amlal El Mahrouss
2026-01-24fix: WG05: Don't specify `Stdlib` namespace--as it may fail on other platforms.Amlal El Mahrouss
2026-01-24chore: update CITATION.cff.Amlal 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-22chore: update Makefile.Amlal El Mahrouss
2026-01-22feat: add RCOQ proofs for WG05.Amlal El Mahrouss
2026-01-22Specify WG05 as 'EST' (Execution Semantics Theory)Amlal El Mahrouss
2026-01-22feat: Add WG05 Paper 'The Execution Semantics: On Axioms, Domains, andAmlal El Mahrouss
2026-01-15chore: add new entries to ignore.Amlal 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
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-27feat: WG01: fix tex document.Amlal El Mahrouss
2025-12-22fix: Better writting and document improvements.Amlal El Mahrouss
2025-12-22chore: Better help prompt for `mktex`.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-21feat: new `mktex.ml` tool.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