chad-fast, branch test-catch-excAn implementation of CHAD, towards performance
https://git.tomsmeding.com/chad-fast/atom?h=test-catch-exc2025-03-17T22:09:50ZWIP exception catching in test-framework2025-03-17T22:09:50ZTom Smedingtom@tomsmeding.com2025-03-17T22:09:50Zurn:sha1:8f92081a868fcccd653f07077da32b25303f7fddsimplifyOneHotTerm2025-03-16T09:07:46ZTom Smedingtom@tomsmeding.com2025-03-16T09:07:46Zurn:sha1:8ca9ceef96afffdc9d4bc266c978a6b4374131e6Complete accumulator revamp!2025-03-15T10:32:34ZTom Smedingtom@tomsmeding.com2025-03-15T10:32:34Zurn:sha1:6da98aedf2f28ec8848d1cb8f5605b0c7e64d644test-framework: Allow filtering tests by substring2025-03-15T10:20:11ZTom Smedingtom@tomsmeding.com2025-03-15T10:20:11Zurn:sha1:095e7be937c2414cd34eb6288bd2c0856be63defMuch process with accumulator revamp2025-03-14T22:29:51ZTom Smedingtom@tomsmeding.com2025-03-14T22:29:51Zurn:sha1:fff6beda3523abce3d27037ea2fb020fce31f502WIP revamp accumulator projection type repr2025-03-14T14:37:29ZTom Smedingt.j.smeding@uu.nl2025-03-07T14:11:59Zurn:sha1:137eaa13144c2599ac29da9ebd3af24ac1ce8968
I stopped working on this because I realised that having sparse products
(and coproducts, prehaps) everywhere is a very bad idea in general, and
that we need to fix that first before really being able to do anything
else productive with performance.
test: Split adTestGen into one function per test case2025-03-10T23:25:20ZTom Smedingtom@tomsmeding.com2025-03-10T23:22:26Zurn:sha1:1abb0c11efd2ba650c0a20de8047efbde2cc6adf
This improves (compactifies) hedgehog output
test-framework: Even more compact output with testGroupCollapse2025-03-10T23:25:19ZTom Smedingtom@tomsmeding.com2025-03-10T23:22:02Zurn:sha1:41f895bb9827f1f0e422e623879a08a0d2412f35test-framework: Improve output2025-03-10T18:09:32ZTom Smedingtom@tomsmeding.com2025-03-10T18:08:01Zurn:sha1:451271bee2cc9e9221cc6be6fb1084e38f937660More compact test output2025-03-10T15:17:23ZTom Smedingt.j.smeding@uu.nl2025-03-10T15:17:23Zurn:sha1:757bf35e5f9f10a76fb41bdd972ee358e9b3ad45