Echidna 2.0.2 (#776)

* initial commit for 2.0.2 * updated changelog
crytic · May 26, 2022 · 43591b1 · 43591b1
1 parent 64c9a89
commit 43591b1
Show file tree

Hide file tree

Showing 3 changed files with 11 additions and 2 deletions.
diff --git a/CHANGELOG.md b/CHANGELOG.md
@@ -1,5 +1,14 @@
 ## TODO
 
+## 2.0.2
+
+* Improved shrinking of dynamic arrays (#775)
+* Added support for deployment of certain contracts or bytecode in specific addresses (#758)
+* Fixed git attribute to support building docker containers in Windows (#773)
+* Fixed crash when the EVM execution triggers more than one query (#760)
+* Added support for detection and handling of ancient solc versions (#675)
+* Added explicit static flag and removed pthread one from ghc options (#768)
+
 ## 2.0.1
 
 * Optimized stateless mutators (#747)

diff --git a/default.nix b/default.nix
@@ -29,7 +29,7 @@ let
     '';
   };
 
-  v = "2.0.1";
+  v = "2.0.2";
 
   testInputs = [ pkgs.slither-analyzer solc ];
 

diff --git a/package.yaml b/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.1
+version: 2.0.2
 
 ghc-options: -Wall -fno-warn-orphans -O2 -threaded +RTS -N -RTS