| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 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 | 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> | |||
| 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 | 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-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> | |||
| 2025-12-18 | chore: WG paper improvements, adding WG03. | Amlal El Mahrouss | |
| Signed-off-by: Amlal El Mahrouss <amlal@nekernel.org> | |||
| 2025-12-18 | fix: Typo correction in WG02. | Amlal El Mahrouss | |
| Signed-off-by: Amlal El Mahrouss <amlal@nekernel.org> | |||
| 2025-12-17 | chore: Updated papers. Added dates for WG02. | Amlal El Mahrouss | |
| Signed-off-by: Amlal El Mahrouss <amlal@nekernel.org> | |||
| 2025-12-16 | chore: Improved makefile and structure. | Amlal El Mahrouss | |
| 2025-12-16 | chore: update WG01 paper. | Amlal El Mahrouss | |
| Signed-off-by: Amlal El Mahrouss <amlal@nekernel.org> | |||
| 2025-12-15 | chore: heavy documentation improvements. | Amlal El Mahrouss | |
| Signed-off-by: Amlal El Mahrouss <amlal@nekernel.org> | |||
| 2025-12-15 | chore: new version of WG01, which improved the Vettable system. | Amlal El Mahrouss | |
| Signed-off-by: Amlal El Mahrouss <amlal@nekernel.org> | |||
| 2025-12-15 | chore: updated WG01 paper. | Amlal El Mahrouss | |
| Signed-off-by: Amlal El Mahrouss <amlal@nekernel.org> | |||
| 2025-12-14 | chore: new fixed WG01 and WG02 papers. | Amlal El Mahrouss | |
| Signed-off-by: Amlal El Mahrouss <amlal@nekernel.org> | |||
| 2025-12-14 | chore: new papers and fixes. | Amlal El Mahrouss | |
| Signed-off-by: Amlal El Mahrouss <amlal@nekernel.org> | |||
| 2025-12-14 | chore: update WG01 TTPI description. | Amlal El Mahrouss | |
| Signed-off-by: Amlal El Mahrouss <amlal@nekernel.org> | |||
| 2025-12-14 | chore: updated paper specifications for WG01 and WG02. | Amlal El Mahrouss | |
| Signed-off-by: Amlal El Mahrouss <amlal@nekernel.org> | |||
| 2025-12-14 | chore: WG01 paper improvements. | Amlal El Mahrouss | |
| Signed-off-by: Amlal El Mahrouss <amlal@nekernel.org> | |||
| 2025-12-13 | chore: improve WG02 paper. | Amlal El Mahrouss | |
| Signed-off-by: Amlal El Mahrouss <amlal@nekernel.org> | |||
| 2025-12-13 | chore: updated papers. | Amlal El Mahrouss | |
| Signed-off-by: Amlal El Mahrouss <amlal@nekernel.org> | |||
| 2025-12-13 | chore: improved WG01 paper. | Amlal El Mahrouss | |
| Signed-off-by: Amlal El Mahrouss <amlal@nekernel.org> | |||
| 2025-12-13 | chore: better phrasing and typo fixes. | Amlal El Mahrouss | |
| Signed-off-by: Amlal El Mahrouss <amlal@nekernel.org> | |||
| 2025-12-13 | chore: update Godbolt link. | Amlal El Mahrouss | |
| Signed-off-by: Amlal El Mahrouss <amlal@nekernel.org> | |||
| 2025-12-13 | chore: updated TeX document to remove `\\`. | Amlal El Mahrouss | |
| Signed-off-by: Amlal El Mahrouss <amlal@nekernel.org> | |||
| 2025-12-12 | chore: update WG01 DDK example. | Amlal El Mahrouss | |
| Signed-off-by: Amlal El Mahrouss <amlal@nekernel.org> | |||
| 2025-12-10 | feat: Freeze date to original date (November 2025), improve phrasing on ↵ | Amlal El Mahrouss | |
| TTPI. Add Additional Resources section, and new entries for References (WG01) feat: Better reference citing. Signed-off-by: Amlal El Mahrouss <amlal@nekernel.org> | |||
| 2025-12-08 | chore: WG01: code example tweaks and better conclusion. | Amlal El Mahrouss | |
| Signed-off-by: Amlal El Mahrouss <amlal@nekernel.org> | |||
| 2025-12-08 | chore: update code snippets, (WG02) | Amlal El Mahrouss | |
| Signed-off-by: Amlal El Mahrouss <amlal@nekernel.org> | |||
| 2025-12-07 | chore: wg01 and wg02 improvements. | Amlal El Mahrouss | |
| Signed-off-by: Amlal El Mahrouss <amlal@nekernel.org> | |||
| 2025-12-06 | chore: updated draft of WG01 and WG02. | 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 |