EiffelStudio 6.6.8.2484 released

A new project setting option has been added: Total Order on REALs which lets you have NaN equal to NaN and NaN being the smallest number of all. This option is disabled by default as it could break existing code. The rationale for this option is to have contracts work properly when manipulating the NaN value and not getting spurious contract violation.

To help users managing their storable files, we have added the ability to version a class. It is done via the note clause of a class, i.e. note storable_version: tag. When the storing and retrieving system have a different version a mismatch is triggered even if they look to have the same content.

To continue on the storable front, we have added support for transient attributes in the Eiffel serialization SED.

On the UI front, we added the inherit clauses in the "Features tool" (to ease navigation in the edited class)

We have also fixed various bugs.

Happy Eiffeling,
The EiffelStudio Team

PS: the format for layout has changed so you might end up having to delete the EiffelStudio private files to get the correct layout.