Skip to content

Commit c8d2966

Browse files
Echidna 1.6.1 release (#600)
* Update CHANGELOG.md * Update package.yaml * Update CHANGELOG.md * Update CHANGELOG.md
1 parent f921595 commit c8d2966

File tree

2 files changed

+12
-1
lines changed

2 files changed

+12
-1
lines changed

CHANGELOG.md

Lines changed: 11 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,16 @@
11
## TODO
22

3+
## 1.6.1
4+
5+
* Use a sensible default value for `block.gaslimit` (#596)
6+
* Use metadata to detect deployed contracts (#593)
7+
* Semver integration for improving testing with different solc versions (#594)
8+
* Added some performance improvement in property execution (#576)
9+
* Fixed wait bug when shrinking (#584)
10+
* Added funwithnumber example from Sabre (#565)
11+
* Improved function filtering to be more precise (#570)
12+
* Small fixes in the macOS CI (#597), the README (#590) and Nix (#581)
13+
314
## 1.6.0
415
* Slither is now a required dependency.
516
* Made sure that <ESC> gets mapped correctly, fixing #474 (#503)

package.yaml

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -3,7 +3,7 @@ name: echidna
33
author: Trail of Bits <[email protected]>
44
maintainer: Trail of Bits <[email protected]>
55

6-
version: 1.6.0
6+
version: 1.6.1
77

88
ghc-options: -Wall -fno-warn-orphans -O2 -threaded +RTS -N -RTS
99

0 commit comments

Comments
 (0)