v1.0.6

What's Changed

• Allow filtering constructors by @chandrakananandi
• Upgrade github actions and ci triggers by @ozcodes

Full Changelog: v1.0.5...v1.0.6

Fix additional remapping issue

This release handles some additional issues with remappings.

Support for a solc flag

Merge pull request #41 from Certora/cnandi/evmversion

CERT-5925 support for evm-version

Automatically update Certora Docs from README

Merge pull request #33 from Certora/fix_readme

Fix readme

Small bug fix

Fixes a bug in allow-path when there are multiple entries.

Ubuntu version issue fix

Merge pull request #34 from Certora/oz/ubuntu20

CERT-3805 | Add support for ubuntu 20

Add support for include_path and some other clean up

v1.0.0

Update README.md

Bug fix

During a recent refactor, support for the mutations feature was lost. We added it back in this release.

API changes and refactoring

This release introduces changes to the Gambit API.
We introduced a new filtering step which can be used to down-sample mutants. By default, Gambit will generate all mutants that can be produced. We also did some refactoring and cleanups. There are also some changes to the names of the config fields which are reflected in the documentation.

Support for --allow-paths and some bug fixes

Adds support for users to pass in the solc-allowpaths field / argument as described in the README. This is important for invoking solc correctly for projects that have complex dependencies and imports.