Updating ChangeLog

ethereum · Oct 18, 2023 · 153a4ce · 153a4ce
1 parent 37da30c
commit 153a4ce
Showing 1 changed file with 1 addition and 0 deletions.
diff --git 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
+- Add and Mul are associative, let's use that to make Expr more canonical
 
 ## API Changes