Echidna 1.7.2 (#677)

gustavo-grieco · web-flow · commit 30e9e5e05511 · 2021-07-12T16:51:06.000+02:00
* Update package.yaml

* Update CHANGELOG.md

* Update default.nix
diff --git a/CHANGELOG.md b/CHANGELOG.md
@@ -1,5 +1,11 @@
 ## TODO
 
+## 1.7.2
+
+* Fixed check-asserts and multi-abi cli switches (#665)
+* Updated to hevm 0.4.6 (#660)
+* Support for loading multiple files with compiled contracts from hardhat/brownie (#659)
+
 ## 1.7.1
 
 * Tweaked mutators and improved test stability (#628)
diff --git a/default.nix b/default.nix
@@ -44,7 +44,7 @@ let
     '';
   };
 
-  v = "1.7.1";
+  v = "1.7.2";
 
   f = { mkDerivation, aeson, ansi-terminal, base, base16-bytestring
       , binary, brick, bytestring, cborg, containers, data-dword, data-has
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: 1.7.1
+version: 1.7.2
 
 ghc-options: -Wall -fno-warn-orphans -O2 -threaded +RTS -N -RTS
 

-Original file line number
+Diff line change
 author: Trail of Bits <[email protected]>
 maintainer: Trail of Bits <[email protected]>
 -version: 1.7.1
 +version: 1.7.2
 ghc-options: -Wall -fno-warn-orphans -O2 -threaded +RTS -N -RTS