diff --git a/Changelog.md b/Changelog.md index 193f5bb46289..59284486b39c 100644 --- a/Changelog.md +++ b/Changelog.md @@ -17,6 +17,10 @@ Bugfixes: * Yul Optimizer: Fix the order of assignments generated by ``SSATransform`` being dependent on AST IDs, sometimes resulting in different (but equivalent) bytecode when unrelated files were added to the compilation pipeline. +Build System: +* Replace internal JSON library jsoncpp with nlohmann::json. + + ### 0.8.25 (2024-03-14) Compiler Features: @@ -33,9 +37,6 @@ Bugfixes: * SMTChecker: Fix internal error caused by not respecting the sign of an integer type when constructing zero-value SMT expressions. * SMTChecker: Run Eldarica only when explicitly requested with `--model-checker-solvers eld`, even when it is present on the system. -Build System: - * Replace internal JSON library jsoncpp with nlohmann::json. - ### 0.8.24 (2024-01-25) Language Features: