| Age | Commit message (Expand) | Author |
|---|---|---|
| 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-01-26 | Move shared code to library | Arnaud Bailly |
| 2025-01-26 | Report reverse/reverse property | Arnaud Bailly |
| 2025-01-25 | Added some 'interesting' properties about lists | Arnaud Bailly |
| 2025-01-25 | Generate a random list | Arnaud Bailly |
 |
index : lambda-nantes | |
| Unnamed repository; edit this file 'description' to name the repository. |
| summaryrefslogtreecommitdiff |