aboutsummaryrefslogtreecommitdiff
Commit message (Collapse)AuthorAge
* Rewrite CPSy code as do-code using QualifiedDoqualified-contdoTom Smeding7 hours
| | | | | | | | | | | Credits for this trick go to Leary on IRC: https://ircbrowse.tomsmeding.com/browse/lchaskell?id=1691743#trid1691743 Advantage: all the binders are on the left-hand side. Disadvantages: - all continuations need to pass exactly one value, i.e. tuples are required - wacky shit
* Add a stupid Map testHEADmasterTom Smeding2 days
|
* Fix pretty-printing for MapTom Smeding2 days
|
* Some extra Map optimisationsTom Smeding2 days
|
* test-framework: Catch exceptions also in sequential runnerTom Smeding2 days
|
* Implement D[map]Tom Smeding2 days
|
* Cleanup of D[build] and D[fold1i]Tom Smeding2 days
|
* drevLambda works, TODO D[map]Tom Smeding3 days
|
* autoWeak: Improve typingTom Smeding3 days
| | | | | | | | - Check that source layout is actually a subset of the target layout statically, because we can and it prevents runtime errors (I didn't actually get such an error yet, but I worried about it too much) - Use less Append in type of (&.) to make type errors _significantly_ less verbose
* WIP drevLambda abstraction!Tom Smeding4 days
|
* WIP map + zipTom Smeding4 days
|
* Compile: Add -Wno-maybe-uninitializedTom Smeding4 days
|
* test: Proper intermixing of GCC warnings with test outputTom Smeding4 days
|
* test-framework: Fix exception handlingTom Smeding4 days
|
* Compile foldd1 and foldd2Tom Smeding8 days
|
* Simplify foldD2 to not sum x0 contributionsTom Smeding9 days
|
* Implement reshapeTom Smeding9 days
|
* Compile: Improve/simplify struct generationTom Smeding9 days
|
* Compile: store sh in array, not in array bufferTom Smeding9 days
|
* Compatibility with ghc 9.8Tom Smeding10 days
|
* Add some simple fold testsTom Smeding10 days
|
* Better fold D{1,2} primitivesTom Smeding11 days
|
* Count: Improve counting of tape in EFold1InnerD1Tom Smeding14 days
|
* 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
| | | | Still need to handle the new primitives in the rest of the library
* 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
| | | | | | We need an optimisation that detects replicate-like behaviour and turns it into actual replicates, which should then be fused away. The problem is exhibited by this function exUniformFree.
* bench: Simplify before differentiatingTom Smeding2025-10-21
|
* Add pruneExpr to benchmarksTom Smeding2025-10-16
| | | | | | | | neural/default neural/accum gmm/default gmm/accum before 157.1 μs 117.9 μs 2.087 ms 2.040 ms after 106.6 μs 107.0 μs 1.931 ms 1.780 ms I call that a win!
* 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
| | | | | | This didn't actually result in any test failures, but I caught it while hunting for a bug that turned out to be missing scaleMany in the new occCount.
* 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
| |