Changelog

This commit is contained in:
Leonardo Alt 2021-04-12 13:48:31 +02:00
parent 36def3ef6e
commit db1b630de5

View File

@ -17,6 +17,7 @@ Compiler Features:
* SMTChecker: Deprecate ``pragma experimental SMTChecker;`` and set default model checker engine to ``none``.
* SMTChecker: Report local variables in CHC counterexamples.
* SMTChecker: Report out of bounds index access for arrays and fixed bytes.
* SMTChecker: Support file level functions and constants.
* Standard JSON: Model checker option ``settings.modelChecker.targets`` also accepts ``outOfBounds``.
* Standard JSON: Model checker option ``settings.modelChecker.targets`` takes an array of string targets instead of string of comma separated targets.
* Yul Optimizer: Added a new step FunctionSpecializer, that specializes a function with its literal arguments.