Milestone 1.14.0
Due to unanticipated difficulties with the implementation of replaceable support (#2079), this release does not yet include this feature.
However, compared to the previous 1.13.2 release, version 1.14.0 provides much faster user experience with OMEdit, thanks to the new front-end based API. It also uses the new frontend for code generation as the default option, enabling faster compilation and resolving many coverage issues, while using the old frontend as automatic fallback option in case of failure. Last, but not least, it includes includes numerous bug fixes since the last 1.13.2 release, particularly regarding OMEdit, but also concerning backend optimization, code generation and runtime improvements.