v1.0.0: Initial release

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