| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2026-02-04 | chore: modernize Coq imports. | Amlal El Mahrouss | |
| Signed-off-by: Amlal El Mahrouss <amlal@nekernel.org> | |||
| 2026-02-04 | chore: Update papers repository structure. | Amlal El Mahrouss | |
| Signed-off-by: Amlal El Mahrouss <amlal@nekernel.org> | |||
| 2026-02-03 | chore: Update C Index Property paper. | Amlal El Mahrouss | |
| Signed-off-by: Amlal El Mahrouss <amlal@nekernel.org> | |||
| 2026-02-03 | chore: add definitions and better paper wording. | Amlal El Mahrouss | |
| Signed-off-by: Amlal El Mahrouss <amlal@nekernel.org> | |||
| 2026-02-01 | chore: makefile and paper organization improvements. | Amlal El Mahrouss | |
| Signed-off-by: Amlal El Mahrouss <amlal@nekernel.org> | |||
| 2026-02-01 | chore: update wg03 paper. | Amlal El Mahrouss | |
| Signed-off-by: Amlal El Mahrouss <amlal@nekernel.org> | |||
| 2026-02-01 | chore: update paper typo. | Amlal El Mahrouss | |
| Signed-off-by: Amlal El Mahrouss <amlal@nekernel.org> | |||
| 2026-02-01 | chore: update draft. | Amlal El Mahrouss | |
| Signed-off-by: Amlal El Mahrouss <amlal@nekernel.org> | |||
| 2026-02-01 | init: draft paper on C-index structures. | Amlal El Mahrouss | |
| Signed-off-by: Amlal El Mahrouss <amlal@nekernel.org> | |||
| 2026-01-31 | chore: update build system of `papers` repository. | Amlal El Mahrouss | |
| Signed-off-by: Amlal El Mahrouss <amlal@nekernel.org> | |||
| 2026-01-31 | chore: makefile: remove `all` rule. | Amlal El Mahrouss | |
| Signed-off-by: Amlal El Mahrouss <amlal@nekernel.org> | |||
| 2026-01-30 | feat: wg0{1..5}: some tiny refactors on the paper and ocaml scripts. | Amlal El Mahrouss | |
| Signed-off-by: Amlal El Mahrouss <amlal@nekernel.org> | |||
| 2026-01-30 | chore: some paper updates. | Amlal El Mahrouss | |
| Signed-off-by: Amlal El Mahrouss <amlal@nekernel.org> | |||
| 2026-01-30 | chore: add dot to fix typo in tn001.05.tex | Amlal El Mahrouss | |
| Signed-off-by: Amlal El Mahrouss <amlal@nekernel.org> | |||
| 2026-01-30 | chore: reworked addpaper.ml, working on addentry.ml | Amlal El Mahrouss | |
| Signed-off-by: Amlal El Mahrouss <amlal@nekernel.org> | |||
| 2026-01-29 | chore: improve tn001.05.tex, improve citations in wg03 and formulations. | Amlal El Mahrouss | |
| Signed-off-by: Amlal El Mahrouss <amlal@nekernel.org> | |||
| 2026-01-29 | chore: Fix warning on newer versions of Rocq. | Amlal El Mahrouss | |
| Signed-off-by: Amlal El Mahrouss <amlal@nekernel.org> | |||
| 2026-01-28 | chore: working on WG03 paper. | Amlal El Mahrouss | |
| Signed-off-by: Amlal El Mahrouss <amlal@nekernel.org> | |||
| 2026-01-28 | chore: update papers. | Amlal El Mahrouss | |
| Signed-off-by: Amlal El Mahrouss <amlal@nekernel.org> | |||
| 2026-01-28 | chore: paper improvements, sending WG03 to preprint as well. | Amlal El Mahrouss | |
| Signed-off-by: Amlal El Mahrouss <amlal@nekernel.org> | |||
| 2026-01-27 | chore: tn001.05.tex: remove useless spaces. | Amlal El Mahrouss | |
| Signed-off-by: Amlal El Mahrouss <amlal@nekernel.org> | |||
| 2026-01-27 | chore: update technical note. | Amlal El Mahrouss | |
| Signed-off-by: Amlal El Mahrouss <amlal@nekernel.org> | |||
| 2026-01-26 | chore: update makefile rules. | Amlal El Mahrouss | |
| Signed-off-by: Amlal El Mahrouss <amlal@nekernel.org> | |||
| 2026-01-26 | feat: Add technical notes for WG05. | Amlal El Mahrouss | |
| Signed-off-by: Amlal El Mahrouss <amlal@nekernel.org> | |||
| 2026-01-25 | chore: wg03: Working on WG03 paper. | Amlal El Mahrouss | |
| Signed-off-by: Amlal El Mahrouss <amlal@nekernel.org> | |||
| 2026-01-25 | chore: Improved WG02 and WG01 citations, add conclusion and citations for WG05. | Amlal El Mahrouss | |
| Signed-off-by: Amlal El Mahrouss <amlal@nekernel.org> | |||
| 2026-01-24 | fix: WG05: Don't specify `Stdlib` namespace--as it may fail on other platforms. | Amlal El Mahrouss | |
| Signed-off-by: Amlal El Mahrouss <amlal@nekernel.org> | |||
| 2026-01-24 | chore: update CITATION.cff. | Amlal El Mahrouss | |
| Signed-off-by: Amlal El Mahrouss <amlal@nekernel.org> | |||
| 2026-01-23 | fix: tools: fix mktex.ml helper. | Amlal El Mahrouss | |
| Signed-off-by: Amlal El Mahrouss <amlal@nekernel.org> | |||
| 2026-01-23 | chore: improve makefile and ocamlformat. | Amlal El Mahrouss | |
| Signed-off-by: Amlal El Mahrouss <amlal@nekernel.org> | |||
| 2026-01-22 | chore: update Makefile. | Amlal El Mahrouss | |
| Signed-off-by: Amlal El Mahrouss <amlal@nekernel.org> | |||
| 2026-01-22 | feat: add RCOQ proofs for WG05. | Amlal El Mahrouss | |
| Signed-off-by: Amlal El Mahrouss <amlal@nekernel.org> | |||
| 2026-01-22 | Specify WG05 as 'EST' (Execution Semantics Theory) | Amlal El Mahrouss | |
| Signed-off-by: Amlal El Mahrouss <amlal@nekernel.org> | |||
| 2026-01-22 | feat: Add WG05 Paper 'The Execution Semantics: On Axioms, Domains, and | Amlal El Mahrouss | |
| Authority.' Signed-off-by: Amlal El Mahrouss <amlal@nekernel.org> | |||
| 2026-01-15 | chore: add new entries to ignore. | Amlal El Mahrouss | |
| Signed-off-by: Amlal El Mahrouss <amlal@nekernel.org> | |||
| 2026-01-15 | feat: paper definition improvements. | Amlal El Mahrouss | |
| Signed-off-by: Amlal El Mahrouss <amlal@nekernel.org> | |||
| 2026-01-11 | feat: update CFF file. | Amlal El Mahrouss | |
| Signed-off-by: Amlal El Mahrouss <amlal@nekernel.org> | |||
| 2026-01-10 | wip: Working on WG03. The Nectar Paper. | Amlal El Mahrouss | |
| Signed-off-by: Amlal El Mahrouss <amlal@nekernel.org> | |||
| 2026-01-01 | fix: mktex.ml: scoping bug patch at line 40-43. | Amlal El Mahrouss | |
| Signed-off-by: Amlal El Mahrouss <amlal@nekernel.org> | |||
| 2025-12-27 | fix: add newline to mktex.ml. | Amlal El Mahrouss | |
| Signed-off-by: Amlal El Mahrouss <amlal@nekernel.org> | |||
| 2025-12-27 | feat: WG01: fix tex document. | Amlal El Mahrouss | |
| Signed-off-by: Amlal El Mahrouss <amlal@nekernel.org> | |||
| 2025-12-22 | fix: Better writting and document improvements. | Amlal El Mahrouss | |
| Signed-off-by: Amlal El Mahrouss <amlal@nekernel.org> | |||
| 2025-12-22 | chore: Better help prompt for `mktex`. | Amlal El Mahrouss | |
| Signed-off-by: Amlal El Mahrouss <amlal@nekernel.org> | |||
| 2025-12-22 | feat: Improve code example in WG01. | Amlal El Mahrouss | |
| Signed-off-by: Amlal El Mahrouss <amlal@nekernel.org> | |||
| 2025-12-21 | feat: improved phrasing in WG01. | Amlal El Mahrouss | |
| Signed-off-by: Amlal El Mahrouss <amlal@nekernel.org> | |||
| 2025-12-21 | feat: new `mktex.ml` tool. | Amlal El Mahrouss | |
| Signed-off-by: Amlal El Mahrouss <amlal@nekernel.org> | |||
| 2025-12-20 | chore: WG01 paper update. | Amlal El Mahrouss | |
| Signed-off-by: Amlal El Mahrouss <amlal@nekernel.org> | |||
| 2025-12-20 | chore: important improvements of wg02 and wg01. | Amlal El Mahrouss | |
| Signed-off-by: Amlal El Mahrouss <amlal@nekernel.org> | |||
| 2025-12-19 | chore: Add tooling, updated existing papers. | Amlal El Mahrouss | |
| Signed-off-by: Amlal El Mahrouss <amlal@nekernel.org> | |||
| 2025-12-19 | chore: Grammar improvements in `wg01.tex`. | Amlal El Mahrouss | |
| Signed-off-by: Amlal El Mahrouss <amlal@nekernel.org> | |||
 |
index : Papers | |
| The Papers and articles compiled by Ne.org developers. | Amlal El Mahrouss |
| summaryrefslogtreecommitdiffhomepage |