Echidna 1.5.0.0

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]
 

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/):
 

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: 1.4.0.1
+version: 1.5.0.0
 
 ghc-options: -Wall -fno-warn-orphans -O2 -threaded +RTS -N -RTS