Echidna 1.7.1 (#663)

pull/664/head v1.7.1
Gustavo Grieco 4 years ago committed by GitHub
parent 8668dc4022
commit 89d9439bbd
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
  1. 17
      CHANGELOG.md
  2. 2
      default.nix
  3. 2
      package.yaml

@ -1,5 +1,22 @@
## TODO
## 1.7.1
* Tweaked mutators and improved test stability (#628)
* Documented known issues and limitations (#655)
* Automatically initialize addresses when used (#657)
* Improved coverage to count number of EVM frames (#624)
* Avoid mutations to generate inputs outside their expected ABI range (#650)
* Various small to run Vyper contracts (#645)
* Improved integer generation to use small values (#644)
* Added two CLI options: --corpus-dir and --check-asserts (#640)
* Refactored shrinkSeq to improve readability (#639)
* Fixed UI to fit long function calls (#635)
* Refactor coverage types and added corpus size in UI (#627)
* Fixed link to macOS binary in binaries.soliditylang.org (#629)
* Fixed default.nix to use 1.7.0 as version (#623)
* Refactored Test type (#622)
## 1.7.0
* Refactored and improved etheno support to be more useful (#615)

@ -32,7 +32,7 @@ let
'';
};
v = "1.7.0";
v = "1.7.1";
f = { mkDerivation, aeson, ansi-terminal, base, base16-bytestring
, binary, brick, bytestring, cborg, containers, data-dword, data-has

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

Loading…
Cancel
Save