| Age | Commit message (Expand) | Author |
|---|---|---|
| 2015-06-03 | Change shrinking a bit, add more generators, fix some types, moved suchThat... | Carlo Zancanaro |
| 2015-06-03 | Rename RoseTree to ShrinkTree (less confusing and more specific) | Carlo Zancanaro |
 |
index : java-check | |
| Property-based testing for Java within JUnit. | Carlo |
| summaryrefslogtreecommitdiff |