Echidna 2.0.1 (#744)

* Update CHANGELOG.md

* prepare for 2.0.1

* Update default.nix

* updated changelog

* updated changelog

Author: gustavo-grieco

CHANGELOG.md

@@ -1,5 +1,17 @@
 ## TODO
 
+## 2.0.1
+
+* Optimized stateless mutators (#747)
+* Expanded and improved command-line help (#741)
+* Added dapptest support: compatibility mode to run foundry and dapptool fuzz tests (#733, #745)
+* Generate more values closer to the maximum (#736) 
+* Fix TERMINFO path for Nix release builds (#731)
+* Mitigate large memory consumption when replaying corpus (#725)
+* Fix --shrink-limit to change shrink limit instead of test limit (#728)
+* Correctly show lines with multiple types of coverage
+* Restored nix support (#717, #743)
+
 ## 2.0.0
 
 * Refactored test internal data structures and code

default.nix

@@ -29,7 +29,7 @@ let
     '';
   };
 
-  v = "2.0.0";
+  v = "2.0.1";
 
   testInputs = [ pkgs.slither-analyzer solc ];
 

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