Age | Commit message (Expand) | Author |
---|---|---|
2015-06-04 | Fix up generic types by adding bounds where possible instead of rigid constra... | Carlo Zancanaro |
2015-06-04 | Move stuff over to using streams instead of iterators: much nicer! | Carlo Zancanaro |
2015-06-04 | Clean up a bit of the ShrinkTree stuff, particularly for shrinking | Carlo Zancanaro |
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 |