From b79abfcc5fc9666c557e7a300a3b57f660ca93b1 Mon Sep 17 00:00:00 2001
From: David Terry <me@xwvvvvwx.com>
Date: Fri, 17 Mar 2023 17:10:30 +0100
Subject: [PATCH] prep 0.50.4 release

---
 CHANGELOG.md | 5 +++--
 hevm.cabal   | 2 +-
 2 files changed, 4 insertions(+), 3 deletions(-)

diff --git a/CHANGELOG.md b/CHANGELOG.md
index c4b390295..d4da07a10 100644
--- 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.50.4] - 2023-03-17
 
 ### Fixed
 
@@ -17,9 +17,10 @@ and this project adheres to [Semantic Versioning](https://semver.org/spec/v2.0.0
 ### Changed
 
 - The `equivalence` command now pretty prints discovered counterexamples
-- Implemented a shrinking algorithm for counterexamples
 
 ### Added
+
+- Implemented a shrinking algorithm for counterexamples
 - A new differential fuzzing test harness that compares the concrete semantics, as well as parts of the symbolic semantics against the geth evm implementation
 - The `hevm` library can now be built on Windows systems.
 - Support for function pointers in ABI
diff --git a/hevm.cabal b/hevm.cabal
index b7d5ffb63..22a209b34 100644
--- a/hevm.cabal
+++ b/hevm.cabal
@@ -2,7 +2,7 @@ cabal-version: 3.0
 name:
   hevm
 version:
-  0.50.3
+  0.50.4
 synopsis:
   Ethereum virtual machine evaluator
 description: