Merge pull request #15925 from ethereum/fix-changelog-for-upcoming-release

Fix changelog for upcoming release

Author: nikola-matic

Changelog.md

@@ -10,8 +10,8 @@ Compiler Features:
  * EVM: Support for the EVM version "Osaka".
  * EVM Assembly Import: Allow enabling opcode-based optimizer.
  * General: The experimental EOF backend implements a subset of EOF sufficient to compile arbitrary high-level Solidity syntax via IR with optimization enabled.
- * SMTChecker: Support `block.blobbasefee` and `blobhash`.
- * SMTChecker: The option `--model-checker-print-query` no longer requires `--model-checker-solvers smtlib2`.
+ * SMTChecker: Support ``block.blobbasefee`` and ``blobhash``.
+ * SMTChecker: The option ``--model-checker-print-query`` no longer requires ``--model-checker-solvers smtlib2``.
  * SMTChecker: Z3 is now a runtime dependency, not a build dependency (except for emscripten build).
  * Yul Parser: Make name clash with a builtin a non-fatal error.
 
@@ -30,7 +30,7 @@ Bugfixes:
  * SMTChecker: Fix SMT logic error when translating invariants involving array store and select operations.
  * SMTChecker: Fix wrong encoding of string literals as arguments of ``ecrecover`` precompile.
  * Standard JSON Interface: Fix ``generatedSources`` and ``sourceMap`` being generated internally even when not requested.
- * TypeChecker: Fix supurious compilation errors due to incorrect computation of contract storage size which erroneously included transient storage variables.
+ * TypeChecker: Fix spurious compilation errors due to incorrect computation of contract storage size which erroneously included transient storage variables.
  * Yul: Fix internal compiler error when a code generation error should be reported instead.
  * Yul Optimizer: Fix failing debug assertion due to dereferencing of an empty ``optional`` value.