| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 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-22 | feat: add RCOQ proofs for WG05. | Amlal El Mahrouss | |
| 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> | |||
| 2025-12-19 | chore: Add tooling, updated existing papers. | Amlal El Mahrouss | |
| Signed-off-by: Amlal El Mahrouss <amlal@nekernel.org> | |||
| 2025-12-16 | feat: makefile for WG01 and WG02. | Amlal El Mahrouss | |
| Signed-off-by: Amlal El Mahrouss <amlal@nekernel.org> | |||
| 2025-12-03 | chore: new WG02 and updated README. | Amlal El Mahrouss | |
| Signed-off-by: Amlal El Mahrouss <amlal@nekernel.org> | |||
| 2025-12-02 | chore: NeKernel Paper Working Group 01. | 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 |
path: root/.gitignore