aboutsummaryrefslogtreecommitdiff
BranchCommit messageAuthorAge
masterWIP: rewrite C++ backend to be CKimplul4 days
mvcheckimplement move checking furtherKimplul3 months
 
 
AgeCommit messageAuthor
4 daysWIP: rewrite C++ backend to be CHEADmasterKimplul
10 daysstart sketching out type systemKimplul
12 daysuse maps in scopeKimplul
12 daysimprove printingKimplul
12 daysbump conts and remove c23 requirementKimplul
2025-03-18use generic contsKimplul
2025-03-18add move queuesKimplul
2025-03-17fix some total movesKimplul
2025-03-17improve codegenKimplul
2025-03-17detect leaksKimplul
[...]
 
Clone
https://metanimi.dy.fi/git/fwd