summaryrefslogtreecommitdiff
BranchCommit messageAuthorAge
evmrules: Attempt at merge/accum parameterised transformationTom Smeding13 months
fancy-countWIP pruneExpr in AST.CountTom Smeding2 months
hashable-gadtSome non-working code lolTom Smeding7 months
masterFix extremum bug in DualNumbersTom Smeding3 months
sparseSome more effects to not ignoreTom Smeding3 months
test-catch-excWIP exception catching in test-frameworkTom Smeding6 months
test-parallelWIP parallel test suiteTom Smeding3 months
 
 
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.51.0) at 2025-09-24 02:15:51 +0200