EiffelStudio 13.11 Releases
Revision as of 01:37, 5 September 2013 by Alexander Kogtenkov (Talk | contribs) (→New features: Added a note on implementing partial order on type objects.)
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 13.11.x Releases
Beta download: ftp://beta:beta57@ftp.eiffel.com/13.11/
13.11.x.y (...)
New features
- Added ZeroMQ wrapper for version 3.2 or above.
- Added support for Sun C compiler on Linux for RHEL, OL and Ubuntu 8.04. Other Linux distributions are not supported.
- library: Added features
{TYPE}.is_conforming_to
and{TYPE}.is_strictly_conforming_to
as implementations of the comparison queries fromPART_COMPARABLE
to support partial order on type objects (rev#92913).
Improvements
Feature removed
Bug fixes
- vision2: Fixed issues with EV_RICH_TEXT on Windows which would crash if you make any selection. Improved the RTF parser to support non-standard RTF files.
- base: Fixed EiffelBase in compatible mode so that one can link executable because it was still referencing some low level BIT runtime features that have now been removed.
- compiler: Fixed schema specification of ECF to match what the compiler is actually expecting.
User changes
Developer changes
13.11.9.2854 (July 2013 Sprint Release)
New features
library: Added bracket alias for {FUNCTION}.item
(rev#92855).
Improvements
- Speed up SCOOP by an average of 35% up to 500% on some benchmarks.
Feature removed
Bug fixes
- EiffelStudio: bug#18563 - Supported renaming of features used in qualified anchored types when refactoring code (rev#92744).
- compiler: bug#18167 - Avoided using attachment status of variables computed for a routine body when checking a postcondition (rev#92760).
- EiffelStudio: bug#16960 - Fixed an exception when showing an inherited class invariant with qualified anchored types (rev#92767).
- compiler: bug#15591 (test#attach106), bug#17302 (test#valid270) - Fixed an erroneous reporting of VUOT for object test locals when right-hand side of a binary expression using these locals has a validity error (rev#92769).
- compiler: bug#17693 (test#anchor061) - Avoided assertion violation when an assertion-enabled compiler is used to process feature that is no longer available for a formal generic because of renaming in the corresponding constraint (rev#92776).
- compiler: bug#18643 (test#attach107, test#attach102) - Fixed a bug that may lead to unreported VEVI errors for attributes not properly set by a creation procedure when compiled in complete void safety mode (rev#92835).
- compiler: Fixed a crash when converting old Ace files to new ECF format. (bug#18642 and bug#18628, rev#92820)