summaryrefslogtreecommitdiff
BranchCommit messageAuthorAge
evmrules: Attempt at merge/accum parameterised transformationTom Smeding11 months
fancy-countWIP pruneExpr in AST.CountTom Smeding2 weeks
hashable-gadtSome non-working code lolTom Smeding5 months
masterFix extremum bug in DualNumbersTom Smeding5 weeks
sparseSome more effects to not ignoreTom Smeding7 weeks
test-catch-excWIP exception catching in test-frameworkTom Smeding5 months
test-parallelWIP parallel test suiteTom Smeding7 weeks
 
 
AgeCommit messageAuthor
2025-02-27Some non-working code lolhashable-gadtTom Smeding
2025-02-25Add .ccls-cache to .gitignoreTom Smeding
2025-02-25Comment unhandled cases instead of getting 1e6 warningsTom Smeding
2025-02-25UnMonoid: Properly recurseTom Smeding
2025-02-25Pretty: Allow colouring exts (currently not)Tom Smeding
2025-02-25Compile: Emit structs in proper orderTom Smeding
2025-01-28Purge Example.FormatTom Smeding
2025-01-28Pretty-printer that supports extension fieldsTom Smeding
2025-01-27Complete identity analysisTom Smeding
2025-01-27Add ext field to remaining AST constructorsTom Smeding
[...]
generated by cgit v1.2.3-70-g09d2 (git 2.50.0) at 2025-08-09 18:52:23 +0200