From 1a32fde37af67bf56dfe89f59d78d3b358913af6 Mon Sep 17 00:00:00 2001 From: Gustavo Grieco <31542053+ggrieco-tob@users.noreply.github.com> Date: Wed, 5 Apr 2023 16:34:16 +0200 Subject: [PATCH] Echidna 2.1.1 (#1011) * Update package.yaml * Update CHANGELOG.md * Update CHANGELOG.md --- CHANGELOG.md | 12 ++++++++++++ package.yaml | 2 +- 2 files changed, 13 insertions(+), 1 deletion(-) diff --git a/CHANGELOG.md b/CHANGELOG.md index 964337c0c..fa785c86b 100644 --- a/CHANGELOG.md +++ b/CHANGELOG.md @@ -1,3 +1,15 @@ +## 2.1.1 + +* Added missing space in ProcessorNotFound message (#977) +* Added measurement and log of external actions (#988) +* Avoid using cheat codes address to form fuzzing call sequences (#993) +* Implemented invariant testing from foundry (#989) +* hevm upgraded to 0.50.4 (#986) +* Cleaned and improved codebase (#990, #994, #995, #997) +* Make frequently modified fields strict (#1000) +* Force corpus evaluation (#1002) +* Text/headless UI was improved (#991, #1006, #1007, #1009) + ## 2.1.0 * External contracts are now automatically fetched from Ethereum nodes during fuzzing (#927, #971) diff --git a/package.yaml b/package.yaml index e1c0966c0..0866033c0 100644 --- a/package.yaml +++ b/package.yaml @@ -3,7 +3,7 @@ name: echidna author: Trail of Bits maintainer: Trail of Bits -version: 2.1.0 +version: 2.1.1 # https://github.com/haskell/cabal/issues/4739 ghc-options: -Wall -fno-warn-orphans -O2 -threaded +RTS -N -RTS -optP-Wno-nonportable-include-path