summaryrefslogtreecommitdiffhomepage
path: root/proofs
AgeCommit message (Expand)Author
5 days[CHORE] Add DDK testing, AsciiUtils tweaks, proof organization.Amlal El Mahrouss
8 days[CHORE] Update CITATION.cff.Amlal El Mahrouss
11 daysfeat: proofs: reworked proof files.Amlal El Mahrouss
11 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