Echidna 2.0.2 (#776)

* initial commit for 2.0.2

* updated changelog

Author: gustavo-grieco

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)

default.nix

@@ -29,7 +29,7 @@ let
     '';
   };
 
-  v = "2.0.1";
+  v = "2.0.2";
 
   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.1
+version: 2.0.2
 
 ghc-options: -Wall -fno-warn-orphans -O2 -threaded +RTS -N -RTS