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
estimateGassupport 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
9982c580ed19b88ebab9744d29d940fd2f0bd8c6by @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