Merge pull request #1320 from crytic/dev-bump-2.2.5

Echidna 2.2.5
2 months ago · 6d5ac38f91
parent a7eeb84f0d bc4c7c2290
commit 6d5ac38f91
2 changed files with 10 additions and 1 deletions
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@ -1,3 +1,12 @@
+## 2.2.5
+
+* Support Ethereum Cancun upgrade (#1317, #1309, #1300)
+* Print a warning if an assert isn't hit in assert mode (#1110)
+* Add support for vm.label cheatcode when printing call sequences (#1314)
+* Coverage during contract deployment (#1304)
+* Fix overflow behavior: revert transaction instead of throwing VM error (#1293)
+* Documentation (#1298)
+
 ## 2.2.4

 * Initial TLOAD/TSTORE support (#1286)
--- a/package.yaml
+++ b/package.yaml
@ -3,7 +3,7 @@ name: echidna
 author: Trail of Bits <echidna-dev@trailofbits.com>
 maintainer: Trail of Bits <echidna-dev@trailofbits.com>

-version: 2.2.4
+version: 2.2.5

 ghc-options:
  - -O2