summaryrefslogtreecommitdiff
path: root/pbt
AgeCommit message (Expand)Author
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-02disable auto linting after testsArnaud 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-19Minor renamingArnaud Bailly
2025-11-19added stateful PBT kata from SW Crafters NantesArnaud Bailly
2025-11-15[pbt] expose simpler interface Property.runArnaud Bailly
2025-11-15[pbt] configure running tests w/ jestArnaud Bailly
2025-01-31Added example in Haskell and some more commentsArnaud 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
2025-01-25Generate a random listArnaud Bailly
2025-01-25Start TS tiny PBT implementationArnaud Bailly
2025-01-25Introduce PBT workshopArnaud Bailly
generated by cgit v1.3.1 (git 2.54.0) at 2026-10-24 03:29:47 +0000