In addition to several improvements and bug fixes, this release includes the following new functionalities:
- Support for polymorphic user types, nodes, functions, and contracts
- New
transparentandopaquemodifiers to control the abstraction and refinement of nodes and functions - Support for function calls with arguments that contain quantified variables and symbolic indices, if they can be inlined
- Support for OpenSMT as a backend solver
Please refer to the CHANGES file for a more detailed description and to the user documentation for more details.