From abf5b4cf4b597cd09663269140e20d84c6e6869e Mon Sep 17 00:00:00 2001 From: Gustavo Grieco <31542053+ggrieco-tob@users.noreply.github.com> Date: Wed, 15 Apr 2020 14:39:51 -0300 Subject: [PATCH] Echidna 1.5.0.0 --- CHANGELOG.md | 18 ++++++++++++++++++ README.md | 2 +- package.yaml | 2 +- 3 files changed, 20 insertions(+), 2 deletions(-) diff --git a/CHANGELOG.md b/CHANGELOG.md index cb8729a5a..2b4d44a12 100644 --- a/CHANGELOG.md +++ b/CHANGELOG.md @@ -1,5 +1,23 @@ ## TODO +## 1.5.0.0 + +* Refactor campaign-related code (#384) +* Fixed hevm-related memory leak (#423) +* Fixed array mutation memory leak (#442) +* Benchmark mode to run without tests (#420, #409) +* Migrated to GitHub actions (#414, #402) +* Corpus mutation handling fixes (#395, #403) +* Improved JSON output and reworked UI handling to better handle interactive and non-interactive mode (#405) +* Use safe mutation parameters to favor purely random generation (#393) +* Show address in hex using "0x" (#386) +* Enable addresses shrinking (#385) +* Fixed coverage counting when a contract is deployed multiple times (#410) +* Prioritization to mutate each list of transactions from the corpus (#376, #395) +* Improved array generation using generic mutations (#357) +* Multiple coverage tracking according to the result of a transaction (#369) +* Allow to control corpus mutation constans using a configuration file (#373) + ## 1.4.0.1 * HEVM updated to [af84e2ee0a0654fdaa91186384233cf1731ee7ce] diff --git a/README.md b/README.md index b3928cc10..3d234a693 100644 --- a/README.md +++ b/README.md @@ -73,7 +73,7 @@ parameters. An example of a complete and annotated config file with the default ## Installation -If you want to quickly test Echidna in Linux, we offer a statically linked binary release of v1.4.0.1 to download [here](https://github.com/crytic/echidna/releases/tag/v1.4.0.1). +If you want to quickly test Echidna in Linux, we offer a statically linked binary release of v1.5.0.0 to download [here](https://github.com/crytic/echidna/releases/tag/v1.5.0.0). Otherwise, to install the latest revision of Echidna, we recommend to use [docker](https://www.docker.com/): diff --git a/package.yaml b/package.yaml index 4d715c030..fc4403905 100644 --- a/package.yaml +++ b/package.yaml @@ -3,7 +3,7 @@ name: echidna author: Trail of Bits maintainer: Trail of Bits -version: 1.4.0.1 +version: 1.5.0.0 ghc-options: -Wall -fno-warn-orphans -O2 -threaded +RTS -N -RTS