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

Echidna 2.2.5
crytic · Oct 11, 2024 · 6d5ac38 · 6d5ac38
2 parents a7eeb84 + bc4c7c2
commit 6d5ac38
Show file tree

Hide file tree

Showing 2 changed files with 10 additions and 1 deletion.
diff --git 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)

diff --git 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