summaryrefslogtreecommitdiff
path: root/test
Commit message (Collapse)AuthorAge
* test: Split adTestGen into one function per test caseTom Smeding2025-03-11
| | | | This improves (compactifies) hedgehog output
* test-framework: Even more compact output with testGroupCollapseTom Smeding2025-03-11
|
* More compact test outputTom Smeding2025-03-10
|
* test: Also test pre-simplified termTom Smeding2025-03-09
|
* test: Run gradientByForward with compiled DN funTom Smeding2025-03-09
|
* test: Make GMM inputs a little bit smallerTom Smeding2025-03-09
|
* Add regression test for HEAD^Tom Smeding2025-03-04
|
* Add some simplify flags infrastructure for debuggingTom Smeding2025-03-04
|
* Compile: Fix right-precedence of (*)Tom Smeding2025-03-04
|
* test: Little cleanupTom Smeding2025-03-03
|
* Run test primals with Compile (not all succeed yet)Tom Smeding2025-03-03
|
* test: Pull term_mulmatvec out into top-levelTom Smeding2025-03-01
|
* test: Simplify and make it a bit fasterTom Smeding2025-02-28
|
* test: Use tastyTom Smeding2025-02-28
|
* Compile: Emit structs in proper orderTom Smeding2025-02-25
|
* Add sparse testTom Smeding2024-12-12
|
* UnMonoidTom Smeding2024-12-06
|
* Working argument accum mode (...)Tom Smeding2024-11-26
| | | | | | | | | | | | | | | The derivative of 'neural' in full accum mode is pretty atrocious now; I think this is because when you have code like this: \(a :: Arr 1 R) -> let b = a in let c = b in sum d then because the argument, as well as both let bindings, bind a value of array type, each will introduce an accumulator, hence resulting in three (!) nested `with` clauses that each just contribute their result back to their parent. This is pointless, and we should fix this.
* WIP accum top-level argsTom Smeding2024-11-26
|
* Configuration for CHADTom Smeding2024-11-14
|
* Remove warningsTom Smeding2024-11-13
|
* Test gmmTom Smeding2024-11-10
|
* Test GMM; it failsTom Smeding2024-11-10
|
* Complete GMM implementationTom Smeding2024-11-10
|
* Maximum/minimumTom Smeding2024-11-09
|
* BenchmarkTom Smeding2024-11-07
|
* simplifyFixTom Smeding2024-10-29
|
* Can differentiate 'neural' nowTom Smeding2024-10-26
|
* Also test primal resultsTom Smeding2024-10-26
|
* Make interpreter debug printing conditionalTom Smeding2024-10-26
|
* DebuggingTom Smeding2024-10-26
|
* Make test suite a little friendlier to debuggingTom Smeding2024-10-22
|
* Fix interpreter bugTom Smeding2024-10-22
|
* Differentiate ReplicateTom Smeding2024-10-22
|
* TestsTom Smeding2024-10-21
|
* WIP testing neuralTom Smeding2024-10-18
|
* We can differentiate idTom Smeding2024-10-15
|
* More towards test suiteTom Smeding2024-10-14
|
* Towards a test suiteTom Smeding2024-10-07
|
* Test neuralTom Smeding2024-09-25