Echidna 2.2.5

crytic · Oct 11, 2024 · daf5e71 · daf5e71
1 parent a7eeb84
commit daf5e71
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 the vm.label cheatcode when printing call sequences (#1314)
+* Collect coverage during contract deployment (#1304)
+* Fix overflow behavior: overflows now revert the transaction, rather than causing Echidna to error (#1293)
+* Add 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