Merge pull request #305 from ethereum/prepare-0.51.2

Prepare 0.51.2 release
ethereum · Jul 11, 2023 · 3d2306a · 3d2306a
2 parents d0ff524 + 729afbf
commit 3d2306a
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 3 deletions.
diff --git a/CHANGELOG.md b/CHANGELOG.md
@@ -5,7 +5,7 @@ All notable changes to this project will be documented in this file.
 The format is based on [Keep a Changelog](https://keepachangelog.com/en/1.0.0/),
 and this project adheres to [Semantic Versioning](https://semver.org/spec/v2.0.0.html).
 
-## [Unreleased]
+## [0.51.2] - 2023-07-11
 
 ## Fixed
 
@@ -15,7 +15,7 @@ and this project adheres to [Semantic Versioning](https://semver.org/spec/v2.0.0
 
 ## Changed
 
-- SMT2 scripts are now being reprocessed to put one sexpr per line. Having sepxrs that span across multiple lines trigers a bug in CVC5. 
+- SMT2 scripts are now being reprocessed to put one sexpr per line. Having sepxrs that span across multiple lines trigers a bug in CVC5.
 - Removing long-running tests so we can finish all unit tests in approx 10 minutes on a current-gen laptop CPU
 - Added git revision to `hevm version`
 

diff --git a/hevm.cabal b/hevm.cabal
@@ -2,7 +2,7 @@ cabal-version: 3.0
 name:
   hevm
 version:
-  0.51.1
+  0.51.2
 synopsis:
   Ethereum virtual machine evaluator
 description: