summaryrefslogtreecommitdiff
path: root/pbt/ts/src
AgeCommit message (Collapse)Author
2026-09-01Flesh out simple integrated shrinkerArnaud Bailly
2026-09-01Replace jest with vitestArnaud Bailly
This implies fixing some quirky modules import logic. Thanks to Claude for fixing this whole s**t
2025-12-18Add some details to presenationArnaud Bailly
2025-12-02rename fake/real matching propertyArnaud Bailly
2025-12-02update bank with model and flow of talkArnaud Bailly
2025-12-02add simple classificationArnaud Bailly
2025-12-02fix copy/paste bugArnaud Bailly
2025-12-02introduce test (with a bug) using LevelDBArnaud Bailly
2025-12-02adapt Bank interface to asyncArnaud Bailly
2025-12-02Make property async awareArnaud Bailly
2025-12-01fix eslint errors and warningsArnaud Bailly
2025-12-01complete operations sequence testsArnaud Bailly
2025-12-01implement op sequence propertyArnaud Bailly
2025-12-01more checks on shrinkingArnaud Bailly
2025-11-29start simple bank exampleArnaud Bailly
2025-11-15[pbt] expose simpler interface Property.runArnaud Bailly
2025-11-15[pbt] configure running tests w/ jestArnaud Bailly
2025-01-26Move shared code to libraryArnaud Bailly
2025-01-26Add some more interesting links about PBTArnaud Bailly
2025-01-26Report reverse/reverse propertyArnaud Bailly
2025-01-26Improve array shrinkingArnaud Bailly
2025-01-25Added some 'interesting' properties about listsArnaud Bailly
These are the classical properties from Claessen and Hughes' paper. Shrinking is too expensive as it is so need to prune recursion tree.
2025-01-25Generate a random listArnaud Bailly
2025-01-25Start TS tiny PBT implementationArnaud Bailly
generated by cgit v1.3.1 (git 2.54.0) at 2026-10-24 06:57:36 +0000