As the tool is being presented on PACT 2022 (https://pact22.cs.illinois.edu/), here we present the first release.
Please read the main README for all the available options in the tool.
What's Changed
- Minor bugfixes. by @markoshorro in #31
New Contributors
- @markoshorro made their first contribution in #31
Full Changelog: 0.3.0...v1.0.0
Contributors
markoshorro