| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2026-09-01 | Flesh out simple integrated shrinker | Arnaud Bailly | |
| 2026-09-01 | Replace jest with vitest | Arnaud Bailly | |
| This implies fixing some quirky modules import logic. Thanks to Claude for fixing this whole s**t | |||
| 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-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 | |
| 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-25 | Generate a random list | Arnaud Bailly | |
| 2025-01-25 | Start TS tiny PBT implementation | Arnaud Bailly | |
 |
index : lambda-nantes | |
| Unnamed repository; edit this file 'description' to name the repository. |
| summaryrefslogtreecommitdiff |