Difference between revisions of "EiffelStudio 13.11 Releases"

m (Bug fixes: Added a note on fixing bug#17693 (test#anchor061).)
m (Bug fixes: Added a revision number.)
Line 18: Line 18:
 
* EiffelStudio: bug#16960 - Fixed an exception when showing an inherited class invariant with qualified anchored types (rev#92767).
 
* 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#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.
+
* 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).
  
 
===User changes===
 
===User changes===
  
 
===Developer changes===
 
===Developer changes===

Revision as of 10:56, 3 July 2013

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 7.4.x Releases

Beta download: ftp://beta:beta57@ftp.eiffel.com/7.4/

7.4.x.y (...)

New features

Improvements

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).

User changes

Developer changes