summaryrefslogtreecommitdiffhomepage
path: root/proofs/_CoqProject
AgeCommit message (Collapse)Author
11 daysfeat: proofs: reworked proof files.Amlal El Mahrouss
Signed-off-by: Amlal El Mahrouss <amlal@nekernel.org>
2026-03-01feat: ddk!: Breaking changes, the DDK has been reworked in C++ instead.Amlal El Mahrouss
chore: public, kernel: fixes and important patches. Signed-off-by: Amlal El Mahrouss <amlal@nekernel.org>