Echidna 2.2.3 (#1195)

crytic · Mar 4, 2024 · fabd1ff · fabd1ff
1 parent 8339bad
commit fabd1ff
Show file tree

Hide file tree

Showing 2 changed files with 20 additions and 3 deletions.
diff --git a/CHANGELOG.md b/CHANGELOG.md
@@ -1,3 +1,14 @@
+## 2.2.3
+
+* feat: add CLI commands for RPC URL and block number (#1194)
+* Speed up shrinking (#1192)
+* Update hevm to 0.53.0 (#1189)
+* Fix faulty corpus transaction detection (#1184)
+* Display contract names in UI (#1181)
+* Save traces for every transaction in reproducer (#1180)
+* Validate corpus while replaying (#1177)
+* Refactors (#1174, #1178)
+
 ## 2.2.2
 
 * Save corpus and reproducers continuously (#1167)

diff --git a/package.yaml b/package.yaml
@@ -3,10 +3,16 @@ name: echidna
 author: Trail of Bits <echidna-dev@trailofbits.com>
 maintainer: Trail of Bits <echidna-dev@trailofbits.com>
 
-version: 2.2.2
+version: 2.2.3
 
-# https://github.com/haskell/cabal/issues/4739
-ghc-options: -Wall -fno-warn-orphans -O2 -optP-Wno-nonportable-include-path
+ghc-options:
+  - -O2
+  - -Wall
+  - -fno-warn-orphans
+  # https://github.com/haskell/cabal/issues/4739
+  - -optP-Wno-nonportable-include-path
+  - -fspecialize-aggressively
+  - -fexpose-all-unfoldings
 
 dependencies:
   - base