From f7219b9e052e9677579ce3de3a9291144013fdfd Mon Sep 17 00:00:00 2001 From: Mate Soos Date: Mon, 2 Dec 2024 15:59:07 +0100 Subject: [PATCH] Updating changelog --- CHANGELOG.md | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/CHANGELOG.md b/CHANGELOG.md index 24db3ae53..06cc26dc7 100644 --- a/CHANGELOG.md +++ b/CHANGELOG.md @@ -10,8 +10,8 @@ and this project adheres to [Semantic Versioning](https://semver.org/spec/v2.0.0 - More complete and precise array/mapping slot rewrite, along with a copySlice improvement - Use a let expression in copySlice to decrease expression size - The `--debug` flag now dumps the internal expressions as well -- hevm now uses the std-forge library's way of detecting failures, i.e. through - reverting with a specific error code +- hevm now uses the forge-std library's way of detecting failures, i.e. through + reverting with a specific error code unless --assertion-type DSTest is passed ## Added - More POr and PAnd rules