index
:
lambda-nantes
main
Unnamed repository; edit this file 'description' to name the repository.
summary
refs
log
tree
commit
diff
log msg
author
committer
range
path:
root
/
pbt
Age
Commit message (
Expand
)
Author
2026-09-02
Refactor generators to use a factory for passing bytes
HEAD
main
Arnaud Bailly
2026-09-01
Add generator for strings
Arnaud Bailly
2026-09-01
Fix test for uniformity of distribution for generation of integers
Arnaud Bailly
2026-09-01
Flesh out simple integrated shrinker
Arnaud Bailly
2026-09-01
Replace jest with vitest
Arnaud Bailly
2026-03-30
Add Bloom filter example
Arnaud Bailly
2025-12-18
Add some details to presenation
Arnaud Bailly
2025-12-02
rename fake/real matching property
Arnaud Bailly
2025-12-02
update bank with model and flow of talk
Arnaud Bailly
2025-12-02
add simple classification
Arnaud Bailly
2025-12-02
disable auto linting after tests
Arnaud Bailly
2025-12-02
fix copy/paste bug
Arnaud Bailly
2025-12-02
introduce test (with a bug) using LevelDB
Arnaud Bailly
2025-12-02
adapt Bank interface to async
Arnaud Bailly
2025-12-02
Make property async aware
Arnaud Bailly
2025-12-01
fix eslint errors and warnings
Arnaud Bailly
2025-12-01
complete operations sequence tests
Arnaud Bailly
2025-12-01
implement op sequence property
Arnaud Bailly
2025-12-01
more checks on shrinking
Arnaud Bailly
2025-11-29
start simple bank example
Arnaud Bailly
2025-11-19
Minor renaming
Arnaud Bailly
2025-11-19
added stateful PBT kata from SW Crafters Nantes
Arnaud Bailly
2025-11-15
[pbt] expose simpler interface Property.run
Arnaud Bailly
2025-11-15
[pbt] configure running tests w/ jest
Arnaud Bailly
2025-01-31
Added example in Haskell and some more comments
Arnaud Bailly
2025-01-26
Move shared code to library
Arnaud Bailly
2025-01-26
Add some more interesting links about PBT
Arnaud Bailly
2025-01-26
Report reverse/reverse property
Arnaud Bailly
2025-01-26
Improve array shrinking
Arnaud Bailly
2025-01-25
Added some 'interesting' properties about lists
Arnaud Bailly
2025-01-25
Generate a random list
Arnaud Bailly
2025-01-25
Start TS tiny PBT implementation
Arnaud Bailly
2025-01-25
Introduce PBT workshop
Arnaud Bailly