summaryrefslogtreecommitdiff
path: root/src/Simplify.hs
Commit message (Expand)AuthorAge
* Add ext field to remaining AST constructorsTom Smeding2025-01-27
* Simplify: Reduce plus of literalsTom Smeding2024-12-06
* Simplify: Some forgotten 'acted'Tom Smeding2024-12-06
* Fix bug in simplifier (effects are hard)Tom Smeding2024-11-10
* WIP maximum/minimumTom Smeding2024-11-08
* Custom derivativesTom Smeding2024-11-08
* WIP custom derivativesTom Smeding2024-11-08
* Remove build1Tom Smeding2024-11-07
* Some simplification rulesTom Smeding2024-11-06
* WIP EOneHotTom Smeding2024-11-04
* simplifyFixTom Smeding2024-10-29
* Fix interpreter bugTom Smeding2024-10-22
* Differentiate ReplicateTom Smeding2024-10-22
* Add some missing casesTom Smeding2024-09-22
* WIP better zero/plus, fixing Accum (...)Tom Smeding2024-09-13
* Interpreter, some operationsTom Smeding2024-09-12
* Simple Build1 seems to workTom Smeding2024-09-05
* Generic accumulatorsTom Smeding2024-09-05
* WIPTom Smeding2024-09-04
* Inching towards drev of buildTom Smeding2024-09-03
* WIP Build1Tom Smeding2024-08-30
* Implement weakenExpr using substTom Smeding2024-08-30
* Migrate to accumulators (mostly removing EVM code)Tom Smeding2024-08-30
* Move some definitions from AST to DataTom Smeding2024-01-27
* Pretty print let bindings in do notationTom Smeding2023-09-21
* Storage policy (accum / merge)Tom Smeding2023-09-21
* Examples with conditionalsTom Smeding2023-09-20
* StuffTom Smeding2023-09-19
generated by cgit v1.2.3-70-g09d2 (git 2.48.1) at 2025-04-01 00:18:57 +0200