| Age | Commit message (Collapse) | Author | |
|---|---|---|---|
| 2015-06-03 | Rename RoseTree to ShrinkTree (less confusing and more specific) | Carlo Zancanaro | |
| 2015-06-02 | Fix up some static analysis warnings and improve @DataPoint detection | Carlo Zancanaro | |
| 2015-06-01 | Fix up static analysis issues (FindBugs and Intellij IDEA analysis) | Carlo Zancanaro | |
| 2015-06-01 | Rename fmap -> map (apparently that's what Java's going with, see ↵ | Carlo Zancanaro | |
| java.util.Optional) | |||
| 2015-06-01 | Fix up list shrinking, remove minor superfluous things | Carlo Zancanaro | |
| 2015-06-01 | Move packages, make lists shrink in size, generate lists instead of arrays ↵ | Carlo Zancanaro | |
| as the 'primitive' operation (issues with generics) | |||
 |
index : java-check | |
| Property-based testing for Java within JUnit. | Carlo |
| summaryrefslogtreecommitdiff |