From c642680ee1bd9b0dd61bea48d6dc5e9c994f2d31 Mon Sep 17 00:00:00 2001
From: David Terry <me@xwvvvvwx.com>
Date: Fri, 6 Jan 2023 12:06:38 +0100
Subject: [PATCH 1/2] ci: release: update tag format, auto publish to hackage

---
 .github/workflows/release.yml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/.github/workflows/release.yml b/.github/workflows/release.yml
index 5230a9b50..519eebfff 100644
--- a/.github/workflows/release.yml
+++ b/.github/workflows/release.yml
@@ -2,7 +2,7 @@ name: "Release"
 on:
   push:
     tags:
-      - '[0-9]+.[0-9]+.[0-9]+'
+      - 'release/[0-9]+.[0-9]+.[0-9]+'
 
 jobs:
   linuxRelease:
@@ -35,5 +35,5 @@ jobs:
           hackageToken: ${{ secrets.HACKAGE_AUTH_TOKEN }}
           packagesPath: ${{ runner.temp }}/packages/sdist
           docsPath: ${{ runner.temp }}/docs
-          publish: false
+          publish: true
 

From c695392341521d0d64533518174b6d4f010d760b Mon Sep 17 00:00:00 2001
From: David Terry <me@xwvvvvwx.com>
Date: Fri, 6 Jan 2023 12:07:00 +0100
Subject: [PATCH 2/2] bump version number & update changelog

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

diff --git a/CHANGELOG.md b/CHANGELOG.md
index e873eec1f..90d67805f 100644
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -5,12 +5,12 @@ 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.2] - 2023-01-06
 
 ### Fixed
 
-- Arithmetic overflow in concrete `SAR` edge case
-- Unnecessary application of `CopySlice` in concrete edge case
+- Arithmetic overflow in concrete `SAR` edge case ([#163](https://github.com/ethereum/hevm/pull/163))
+- Unexpected abstract term application during fully concrete execution ([#163](https://github.com/ethereum/hevm/pull/163))
 
 ## [0.50.1] - 2022-12-29
 
diff --git a/hevm.cabal b/hevm.cabal
index df08f2c38..b1286834a 100644
--- a/hevm.cabal
+++ b/hevm.cabal
@@ -2,7 +2,7 @@ cabal-version: 3.0
 name:
   hevm
 version:
-  0.50.1
+  0.50.2
 synopsis:
   Ethereum virtual machine evaluator
 description: