summaryrefslogtreecommitdiff
BranchCommit messageAuthorAge
evmrules: Attempt at merge/accum parameterised transformationTom Smeding7 months
hashable-gadtSome non-working code lolTom Smeding4 weeks
mastertest fwd: test with simplified expressionTom Smeding8 days
test-catch-excWIP exception catching in test-frameworkTom Smeding8 days
test-compile-chadCompile: More checksTom Smeding3 days
 
 
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
[...]