List view
- Due by August 7, 2023•5/5 issues closed
Important security fix and some dependency updates.
Due by February 3, 2023- Due by December 11, 2022•6/6 issues closed
AST Support, some bug fixes and many dependency updates
Due by June 23, 2023•34/34 issues closed- No due date•26/26 issues closed
- Due by June 1, 2022•1/1 issues closed
- Due by May 28, 2022•15/15 issues closed
Localize most of Ares
Due by April 1, 2022•2/2 issues closedSolve custom IOTester issue and allow adding trusted packages using system properties.
Due by March 24, 2022•6/6 issues closedAdd Gradle support and update dependencies
Due by March 10, 2022•8/8 issues closed- Due by February 9, 2022•9/9 issues closed
- No due date•5/5 issues closed
Update jqwik (finally)
Due by November 29, 2021•1/1 issues closedAdd new configuration options for structural tests and update some dependencies.
Due by November 18, 2021•2/2 issues closedBugfixes.
Due by November 2, 2021•3/3 issues closed- Due by September 30, 2021•5/5 issues closed
Java 16 Support
Due by March 18, 2021•2/2 issues closedSmall bugfixes.
Due by February 6, 2021•2/2 issues closedAdd Dynamics
Due by January 4, 2021•1/1 issues closed- Due by December 1, 2020
Some other small fixes.
Due by November 13, 2020•1/1 issues closedFix problem regarding hanging builds on build agents due to `SecureRandom`
Due by November 13, 2020•1/1 issues closed- No due date•4/4 issues closed
- Due by November 17, 2020•2/2 issues closed
Update jqwik and tests, some preparations for 1.3.0.
Due by October 21, 2020•4/4 issues closedMinor improvements for dependencies and tests, some preparations for 1.2.0.
Due by September 15, 2020•2/2 issues closedSome small improvements and fixes
Due by September 8, 2020•5/5 issues closedUpdate jqwik and some small additions
Due by July 3, 2020•2/2 issues closedRelease Version 1.0.0 to Maven Central
Due by May 14, 2020•2/2 issues closed- Due by April 25, 2020•5/5 issues closed
Fixing some behavior bugs and adding some security features.
Due by April 20, 2020•2/2 issues closedImprove security and add some new security features
No due date•2/2 issues closedImprove and update the jqwik integration.
No due date•3/3 issues closed