EiffelStudio 6.6 Releases

Revision as of 01:04, 21 December 2009 by Alexander Kogtenkov (Talk | contribs) (New features: Added a note on a new check instruction variant)

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

6.6.x

Placeholder for new stuff since last intermediate release.

New features

  • compiler: Supported new variant of a check instruction that is not subject for assertion monitoring settings (in other words the check cannot be turned off) and can be used to introduce a new void safe scope of a read-only or object test local:
check Assertion then
   Compound
end

Improvements

Feature removed

Bug fixes

  • studio: Fixed editor refresh issue when saving modifications in the Contract Tool.
  • studio: Fixed catcalls when building the Contract Tool.
  • studio: Fixed bug#14857 Store the external commands in ISE User files

User changes

Developer changes