summaryrefslogtreecommitdiffhomepage
path: root/source
AgeCommit message (Expand)Author
2026-02-16chore: update papers, reworking them.Amlal El Mahrouss
2026-02-16chore: update papers, reworking them.Amlal El Mahrouss
2026-02-16chore: update papers, fixed them.Amlal El Mahrouss
2026-02-15chore: fine tune WG04.1 paper.Amlal El Mahrouss
2026-02-15feat: paper improvements for WG04. (papers)Amlal El Mahrouss
2026-02-15feat: paper improvements. (papers).Amlal El Mahrouss
2026-02-15feat: paper improvements. (papers).Amlal El Mahrouss
2026-02-15feat: papers improvements. (papers).Amlal El Mahrouss
2026-02-15feat: papers improvements. (papers).Amlal El Mahrouss
2026-02-15feat: lemmas papers improvements. (papers).Amlal El Mahrouss
2026-02-15feat: technical note papers improvements. (papers).Amlal El Mahrouss
2026-02-15feat: technical note papers improvements. (papers).Amlal El Mahrouss
2026-02-15feat: technical note papers improvements. (papers).Amlal El Mahrouss
2026-02-15feat: technical note papers improvements and new WIPs. (papers).Amlal El Mahrouss
2026-02-15feat: technical note papers improvements and new WIPs. (papers).Amlal El Mahrouss
2026-02-15feat: technical note papers improvements and new WIPs. (papers).Amlal El Mahrouss
2026-02-15feat: technical note papers improvements and new WIPs. (papers).Amlal El Mahrouss
2026-02-15feat: technical note paper updates. (papers).Amlal El Mahrouss
2026-02-15feat: technical note paper updates. (papers).Amlal El Mahrouss
2026-02-15feat: technical note paper updates. (papers).Amlal El Mahrouss
2026-02-15feat: technical note paper updates. (papers).Amlal El Mahrouss
2026-02-15feat: technical note paper updates. (papers).Amlal El Mahrouss
2026-02-15feat: technical note paper updates. (papers).Amlal El Mahrouss
2026-02-12feat: polish wg04 paper.Amlal El Mahrouss
2026-02-10chore: update wg04 paper with critical fix.Amlal El Mahrouss
2026-02-09feat: Update 'WG04' paper.Amlal El Mahrouss
2026-02-07chore: update paper group.Amlal El Mahrouss
2026-02-07chore: add new paper for WG04.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-04chore: Update papers repository structure.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-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-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-27chore: tn001.05.tex: remove useless spaces.Amlal El Mahrouss
2026-01-27chore: update technical note.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-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-15feat: paper definition improvements.Amlal El Mahrouss
2026-01-11feat: update CFF file.Amlal El Mahrouss
generated by cgit v1.2.3 (git 2.39.1) at 2026-03-12 23:04:42 +0000