aboutsummaryrefslogtreecommitdiff
Commit message (Expand)AuthorAge
* Add a stupid Map testHEADmasterTom Smeding15 hours
* Fix pretty-printing for MapTom Smeding15 hours
* Some extra Map optimisationsTom Smeding15 hours
* test-framework: Catch exceptions also in sequential runnerTom Smeding16 hours
* Implement D[map]Tom Smeding16 hours
* Cleanup of D[build] and D[fold1i]Tom Smeding16 hours
* drevLambda works, TODO D[map]Tom Smeding38 hours
* autoWeak: Improve typingTom Smeding40 hours
* WIP drevLambda abstraction!Tom Smeding3 days
* WIP map + zipTom Smeding3 days
* Compile: Add -Wno-maybe-uninitializedTom Smeding3 days
* test: Proper intermixing of GCC warnings with test outputTom Smeding3 days
* test-framework: Fix exception handlingTom Smeding3 days
* Compile foldd1 and foldd2Tom Smeding7 days
* Simplify foldD2 to not sum x0 contributionsTom Smeding7 days
* Implement reshapeTom Smeding7 days
* Compile: Improve/simplify struct generationTom Smeding7 days
* Compile: store sh in array, not in array bufferTom Smeding7 days
* Compatibility with ghc 9.8Tom Smeding8 days
* Add some simple fold testsTom Smeding8 days
* Better fold D{1,2} primitivesTom Smeding9 days
* Count: Improve counting of tape in EFold1InnerD1Tom Smeding12 days
* WIP fold: everything but Compile (slow, but should be sound)Tom Smeding13 days
* subenvSplit (unused, commented out, but it's written now)Tom Smeding14 days
* WIP fold: Implement D[fold1i]Tom Smeding14 days
* More precise reconstructBindings interfaceTom Smeding14 days
* No need for assertSubenvEmpty in D[build]Tom Smeding14 days
* Helper functions bpush and weakenBindingsETom Smeding14 days
* pipeline helpers in ExampleTom Smeding14 days
* Add uniform-tree test and benchmarkTom Smeding14 days
* 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
* test: Don't shrink generated scalarsTom Smeding2025-10-08
* Simplify: Don't forget effects, againTom Smeding2025-10-08
* Count: Correct alternative and scaleMany countingTom Smeding2025-10-08
* Code styleTom Smeding2025-10-08
* WIP pruneExpr in AST.CountTom Smeding2025-07-23
* Fix extremum bug in DualNumbersTom Smeding2025-07-07
* Add stub readmeTom Smeding2025-06-23
* Merge branch 'sparse'Tom Smeding2025-06-21
|\
| * Some more effects to not ignoresparseTom Smeding2025-06-18
| * Don't destroy effects in UnMonoidTom Smeding2025-06-18
| * test: Diligently check UnMonoid correctnessTom Smeding2025-06-18