Merge pull request #165 from ethereum/prep-0.50.2

Prep 0.50.2

Author: d-xo

.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
 

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
 

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: