From 3a580c138556e3e2e92493c051ce2b675b29f5a1 Mon Sep 17 00:00:00 2001
From: Artur Cygan <arczicygan@gmail.com>
Date: Wed, 12 Jul 2023 10:15:56 +0200
Subject: [PATCH] Prepare 0.51.3 release

---
 CHANGELOG.md | 16 +++++++++++-----
 hevm.cabal   |  2 +-
 2 files changed, 12 insertions(+), 6 deletions(-)

diff --git a/CHANGELOG.md b/CHANGELOG.md
index 3f30511f7..81835102f 100644
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -5,11 +5,21 @@ 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.3] - 2023-07-14
 
 ## Fixed
 
 - Path joining on Windows
+- Fixed overflow issue in stripWrites
+- Automatic tests are now more reproducible
+
+## Changed
+
+- Removed sha3Crack which has been deprecated for keccakEqs
+
+## Added
+
+- Added flag `-f debug` to add debug flags to cabal/GHC
 
 ## [0.51.2] - 2023-07-11
 
@@ -17,16 +27,12 @@ and this project adheres to [Semantic Versioning](https://semver.org/spec/v2.0.0
 
 - SMT encoding of Expr now has assertions for the range of environment values that are less than word size (256 bits).
 - Trace now contains the cheat code calls
-- Removed sha3Crack which has been deprecated for keccakEqs
 - More consistent error messages
-- Automatic tests are now more reproducible
-- Fixed overflow issue in stripWrites
 
 ## 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.
 - Removing long-running tests so we can finish all unit tests in approx 10 minutes on a current-gen laptop CPU
-- Added flag `-f debug` to add debug flags to cabal/GHC
 - Added git revision to `hevm version`
 
 ## Added
diff --git a/hevm.cabal b/hevm.cabal
index 1635d59cc..0655327f9 100644
--- a/hevm.cabal
+++ b/hevm.cabal
@@ -2,7 +2,7 @@ cabal-version: 3.0
 name:
   hevm
 version:
-  0.51.2
+  0.51.3
 synopsis:
   Ethereum virtual machine evaluator
 description: