| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2026-09-02 | Refactor generators to use a factory for passing bytesHEADmain | 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 | |
| This lead me into a rabbit hole to understand how one should assert the shape of the distribution of some empirical data w.r.t. to the "true" expected distribution which uses the Pearson coefficient test. Unfortunately for very large number of samples deviations sum up quickly to a point where the computed p-value is basically 0, thus rejecting the null hypothesis. While this is theoretically true, there are a lot of ways to introduce biases that will lead to rejection, one of them being the use of modulus to select numbers from the generator's output! | |||
| 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 | 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-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 |