summaryrefslogtreecommitdiffhomepage
path: root/proofs
AgeCommit message (Expand)Author
8 days[CHORE] Add DDK testing, AsciiUtils tweaks, proof organization.Amlal El Mahrouss
11 days[CHORE] Update CITATION.cff.Amlal El Mahrouss
14 daysfeat: proofs: reworked proof files.Amlal El Mahrouss
14 daysfeat: proofs: reworked proof files.Amlal El Mahrouss
2026-03-01feat: ddk!: Breaking changes, the DDK has been reworked in C++ instead.Amlal El Mahrouss