EiffelStudio 17.01 Releases

Revision as of 04:16, 7 June 2016 by Alexander Kogtenkov (Talk | contribs) (User changes: Added a note on marking {ANY}.as_attached as obsolete.)

Below are not the release notes of EiffelStudio. It is the change log of EiffelStudio intermediate releases and the most important changes are highlighted in green or in red (for breaking changes). The release notes of EiffelStudio can be found at the following URL. You can also download the latest revision here. Information about other version can be found under Category:Releases.

EiffelStudio 16.11.x Releases

Beta download: https://ftp.eiffel.com/pub/beta/16.11/


New features


  • EiffelStudio: Configuration option "Are types attached by default?" defaults to True when reading non-void-safe projects so that if the project is changed to be void-safe, the recommended default for attachment status of class types without marks is used.
  • compiler: Supported nested inlining of a selected set of features from SPECIAL in finalized mode: base_address, clear_all, copy_data, count, item, overlapping_move, non_overlapping_move, put.

Feature removed

  • EiffelStudio: Removed option "Are types attached by default?" from project settings dialog. Potential incompatibility: old Eiffel configuration files (ECF) that rely on "class types are detachable by default" policy and migrate to "attached by default" policy will need to be changed directly by editing the file, not from EiffelStudio.

Bug fixes

  • runtime: Fixed a bug in the CECIL macro eif_attribute_type that always returned EIF_POINTER_TYPE instead of the type code corresponding to the actual attribute type.

User changes

  • library: Marked {ANY}.as_attached as obsolete to simplify removal of calls to it when transition to void-safe code is finished.

Developer changes