From 4040a3475fe833cb0755bd14b9434216c27685f7 Mon Sep 17 00:00:00 2001 From: Mate Soos Date: Wed, 18 Oct 2023 12:32:16 +0200 Subject: [PATCH] Adding CHANGELOG entry --- CHANGELOG.md | 1 + 1 file changed, 1 insertion(+) diff --git a/CHANGELOG.md b/CHANGELOG.md index 43a940cbc..ea82a42ef 100644 --- a/CHANGELOG.md +++ b/CHANGELOG.md @@ -52,6 +52,7 @@ and this project adheres to [Semantic Versioning](https://semver.org/spec/v2.0.0 - CopySlice+WriteWord+ConcreteBuf now truncates ConcreteBuf in special cases - Better simplification of Eq IR elements - Run a toplevel constant folding reasoning system on branch conditions +- `evalProp` is renamed to `simplifyProp` for consistency ## API Changes