Echidna 2.3.0-RC1

This release candidate pre-release is for benchmarking and testing latest features. Do not use it in production, wait for the upcoming final release instead.

What's Changed

• Drop Etheno support by @elopez in #1402
• Drop estimateGas support by @elopez in #1403
• fix: reduce html class names to their first letters by @divyaranjan1905 in #1404
• Store event changes into Echidna's corpus by @divyaranjan1905 in #1405
• Clean up subState when setting up transactions by @elopez in #1408
• Reworked symbolic execution code by @gustavo-grieco in #1394
• build(deps): bump DeterminateSystems/nix-installer-action from 18 to 19 by @dependabot[bot] in #1407
• Add values from tuple elements into the dictionary by @gustavo-grieco in #1406
• Test older solc versions on merge by @elopez in #1412
• Fix CI tests by @elopez in #1414
• Speed up coverage filename calculation by @elopez in #1411
• Reduce test flakiness by @elopez in #1416
• build(deps): bump actions/download-artifact from 4 to 5 by @dependabot[bot] in #1418
• build(deps): bump actions/checkout from 4 to 5 by @dependabot[bot] in #1419
• Update hevm to 9982c580ed19b88ebab9744d29d940fd2f0bd8c6 by @elopez in #1417
• Test improvements by @elopez in #1421
• docker: update base image; build with musl; include z3, bitwuzla by @elopez in #1422
• flake: add bitwuzla and cvc5 to fuzz shell by @elopez in #1425
• flake: update nixpkgs, foundry, bitwuzla by @elopez in #1427
• tests: fix default config to match default values in code by @elopez in #1429
• Update CODEOWNERS by @elopez in #1432
• Only verify suitable methods by @gustavo-grieco in #1431
• docs: fix incorrect Docker volume mount command by @zkpepe in #1433
• Update references to hevm repository by @elopez in #1435
• Add independent coverage directory configuration option by @BowTiedRadone in #1428
• ci: macos: add missing gmp rewrite by @elopez in #1440
• build(deps): bump actions/setup-python from 5 to 6 by @dependabot[bot] in #1442
• build(deps): bump softprops/action-gh-release from 2.3.2 to 2.3.3 by @dependabot[bot] in #1443
• fix: ppAbiValue mapping in JSON.mapCall for SolCall by @VolodymyrBg in #1445
• Fix build failure with GHC 9.10 by @elopez in #1446
• scripts: libff: enable C++11 on build by @elopez in #1447
• Fixed event decoding crash by @gustavo-grieco in #1450
• build(deps): bump DeterminateSystems/nix-installer-action from 19 to 20 by @dependabot[bot] in #1451
• ci: macos-13 -> macos-15-intel by @elopez in #1455
• Revamp HTML coverage report by @elopez in #1415
• Added initial support for generation of foundry reproducers by @gustavo-grieco in #1437
• Set up proper reversion state when loading transactions by @gustavo-grieco in #1453
• Support for encoding valid calls for callbacks by @gustavo-grieco in #1444
• echidna: enable rtsopts by @elopez in #1457
• Add solc constraint to the callback test by @gustavo-grieco in #1458
• Symbolic execution fixes to make sure no counter example is missed by @gustavo-grieco in #1441
• Downgrade z3 to 4.12.6 by @gustavo-grieco in #1461
• Include value into json output and use string instead of integer by @gustavo-grieco in #1460
• add foundry to docker image by @bsamuels453 in #1469
• Show trace instead of list of events when deployment failed by @gustavo-grieco in #1466
• Log shrinking status by @BowTiedRadone in #1454

New Contributors

• @divyaranjan1905 made their first contribution in #1404
• @zkpepe made their first contribution in #1433
• @BowTiedRadone made their first contribution in #1428
• @VolodymyrBg made their first contribution in #1445
• @bsamuels453 made their first contribution in #1469