release: hevm/0.44.1

d-xo · d-xo · commit 60df33f7c454 · 2021-02-02T15:09:36.000+01:00
diff --git a/src/hevm/CHANGELOG.md b/src/hevm/CHANGELOG.md
@@ -1,5 +1,11 @@
 # hevm changelog
 
+## 0.44.1 - 2020-02-02
+
+### Changed
+
+- hevm cheatcodes now accept symbolic arguments, allowing e.g. symbolic jumps in time in unit tests
+
 ## 0.44.0 - 2020-01-26
 
 ### Added
@@ -22,7 +28,6 @@ following the semantics of fuzzing.
 ### Changed
 
 - Use cvc4 as default smt solver
-- hevm cheatcodes now accept symbolic arguments, allowing e.g. symbolic jumps in time in unit tests
 
 ## 0.43.2 - 2020-12-10
 
diff --git a/src/hevm/hevm.cabal b/src/hevm/hevm.cabal
@@ -2,7 +2,7 @@ cabal-version: 2.2
 name:
   hevm
 version:
-  0.44.0
+  0.44.1
 synopsis:
   Ethereum virtual machine evaluator
 description:
