Echidna 2.0.5 (#911)

* Update CHANGELOG.md * Update package.yaml
crytic · Jan 19, 2023 · 83c41d6 · 83c41d6
1 parent 428483c
commit 83c41d6
Show file tree

Hide file tree

Showing 2 changed files with 12 additions and 1 deletion.
diff --git a/CHANGELOG.md b/CHANGELOG.md
@@ -1,5 +1,16 @@
 ## TODO
 
+## 2.0.5
+
+* Optimized constant generation (#898, #900)
+* Fixed how address are displayed in events (#891)
+* Update hevm to 0.50 (#884, #894, #896, #897, #901)
+* Added saving and loading of reproducers for every test (#858)
+* Added events and revert reasons for any failure in the constructor (#871)
+* Fixed uninitialized sender addresses from etheno transactions (#823) 
+* Fixed crash when minimizing inputs during optimization tests (#837) 
+* Refactored code and removed useless dependencies (#856, #857, #874, #878, #895, #903)
+
 ## 2.0.4
 
 * Added colored html for coverage output code (#816)

diff --git a/package.yaml b/package.yaml
@@ -3,7 +3,7 @@ name: echidna
 author: Trail of Bits <[email protected]>
 maintainer: Trail of Bits <[email protected]>
 
-version: 2.0.4
+version: 2.0.5
 
 ghc-options: -Wall -fno-warn-orphans -O2 -threaded +RTS -N -RTS