aboutsummaryrefslogtreecommitdiff
Commit message (Expand)AuthorAge
* WIP: Think about fusionfusionTom Smeding10 hours
* Add a simplify ruleHEADmasterTom Smeding10 hours
* Remove redundant test dependencyTom Smeding12 hours
* Add some .gitignoresTom Smeding13 hours
* Fix typoTom Smeding13 hours
* UnMonoid: Use eunPairTom Smeding9 days
* Sparse: Maybe prevent another SpSparse introductionTom Smeding9 days
* User-facing API suggestionTom Smeding11 days
* hlint cleanupTom Smeding12 days
* Use ImportQualifiedPostTom Smeding12 days
* Move module hierarchy under CHAD.Tom Smeding12 days
* Add a stupid Map testTom Smeding2025-11-05
* Fix pretty-printing for MapTom Smeding2025-11-05
* Some extra Map optimisationsTom Smeding2025-11-05
* test-framework: Catch exceptions also in sequential runnerTom Smeding2025-11-05
* Implement D[map]Tom Smeding2025-11-05
* Cleanup of D[build] and D[fold1i]Tom Smeding2025-11-05
* drevLambda works, TODO D[map]Tom Smeding2025-11-04
* autoWeak: Improve typingTom Smeding2025-11-04
* WIP drevLambda abstraction!Tom Smeding2025-11-03
* WIP map + zipTom Smeding2025-11-03
* Compile: Add -Wno-maybe-uninitializedTom Smeding2025-11-03
* test: Proper intermixing of GCC warnings with test outputTom Smeding2025-11-03
* test-framework: Fix exception handlingTom Smeding2025-11-03
* Compile foldd1 and foldd2Tom Smeding2025-10-30
* Simplify foldD2 to not sum x0 contributionsTom Smeding2025-10-30
* Implement reshapeTom Smeding2025-10-30
* Compile: Improve/simplify struct generationTom Smeding2025-10-30
* Compile: store sh in array, not in array bufferTom Smeding2025-10-30
* Compatibility with ghc 9.8Tom Smeding2025-10-29
* Add some simple fold testsTom Smeding2025-10-29
* Better fold D{1,2} primitivesTom Smeding2025-10-28
* Count: Improve counting of tape in EFold1InnerD1Tom Smeding2025-10-25
* WIP fold: everything but Compile (slow, but should be sound)Tom Smeding2025-10-24
* subenvSplit (unused, commented out, but it's written now)Tom Smeding2025-10-23
* WIP fold: Implement D[fold1i]Tom Smeding2025-10-23
* More precise reconstructBindings interfaceTom Smeding2025-10-23
* No need for assertSubenvEmpty in D[build]Tom Smeding2025-10-23
* Helper functions bpush and weakenBindingsETom Smeding2025-10-23
* pipeline helpers in ExampleTom Smeding2025-10-23
* Add uniform-tree test and benchmarkTom Smeding2025-10-23
* bench: Simplify before differentiatingTom Smeding2025-10-21
* Add pruneExpr to benchmarksTom Smeding2025-10-16
* Remove stale importTom Smeding2025-10-16
* Parallel test runnerTom Smeding2025-10-13
* Test with pruneExprTom Smeding2025-10-11
* README: Fix typoTom Smeding2025-10-09
* Set Example module as ghci defaultTom Smeding2025-10-08
* Complete occCountXTom Smeding2025-10-08
* Simplify: Add placeholder recursion branches for convenienceTom Smeding2025-10-08
generated by cgit v1.2.3-70-g09d2 (git 2.51.2) at 2025-11-23 08:39:52 +0100