EiffelStudio 17.05 Releases - Revision history

Alexander Kogtenkov: /* 17.05.x.x */ Marked a stable release.

2017-05-31T09:21:00Z

‎17.05.x.x: Marked a stable release.

2017-05-31T08:41:43Z

‎Improvements: Added a note on relaxing rules for condiiotnal expressions.

2017-05-29T08:13:12Z

‎17.05.x.x

2017-05-24T12:26:22Z

‎Improvements

2017-05-24T12:25:25Z

‎Improvements

2017-05-23T14:29:09Z

‎Bug fixes

2017-05-23T14:27:13Z

‎New features

2017-05-23T14:26:37Z

‎Bug fixes

2017-05-23T08:46:38Z

‎Improvements

2017-05-23T08:20:40Z

‎17.05.x.x

@@ Line 5: / Line 5: @@
 Beta download: https://ftp.eiffel.com/pub/beta/17.05/
-==17.05.x.x==
+==17.05.10.0416 (Final Release, May 29th 2017)==
 ===New features===
@@ Line 51: / Line 51: @@
 *library (C_library/zlib): Updated zlib library to version 1.2.11
 *compiler: test#vwce002 - Relaxed typing rules for conditional expressions to allow for different types to be used in different branches as soon as they are pair-wise conforming. Special care is taken about attachment and separateness statuses so that the expression <e>if foo then "Bar" else Void end</e> is valid and is of type <e>detachable STRING</e>.
 ===Bug fixes===
@@ Line 79: / Line 77: @@
 ===User changes===
 *library (docking): Some creation procedures in the Docking library now require a docking manager object as an argument.

@@ Line 49: / Line 49: @@
 *: added support for profile name, in addition to standard user name (so now, for security, username can be hidden from posts)
 *library (C_library/png): Updated libpng library to version 1.6.28
 *library (C_library/zlib): Updated zlib library to version 1.2.11
 ===Feature removed===

@@ Line 8: / Line 8: @@
 ===New features===
-* studio: Add Visual Studio 2017 support for C compilation.
+*studio: Add Visual Studio 2017 support for C compilation.
 ===Improvements===
@@ Line 26: / Line 28: @@
 *compiler: Improved performance of object initialization checks in complete void safe mode when a class has hundreds of attributes and features (including inherited ones).
 *library: Updated libraries and examples included with EiffelStudio installation to avoid obsolete feature calls.
 *library (cms): Improved the CMS library with
 *library (EiffelWeb/wsf): Fixed computation of path info, in extreme condition.
@@ Line 49: / Line 50: @@
 *library (C_library/png): Updated libpng library to version 1.6.28
 *library (C_library/zlib): Updated zlib library to version 1.2.11
 ===Feature removed===

@@ Line 47: / Line 47: @@
 *: new messaging module to send message to web site users.
 *: added support for profile name, in addition to standard user name (so now, for security, username can be hidden from posts)
-*:library (C_library/png): Updated libpng library to version 1.6.28
+*library (C_library/png): Updated libpng library to version 1.6.28
-*:library (C_library/zlib): Updated zlib library to version 1.2.11
+*library (C_library/zlib): Updated zlib library to version 1.2.11
 *library (base): Added new creation procedure `{*_STRING_8}.make_from_c_substring (...)`

@@ Line 22: / Line 22: @@
 *: nothing - less than 1.5 year old
 *: warning - more than 1.5 year old
 *compiler: Improved performance of object initialization checks in complete void safe mode when a class has hundreds of attributes and features (including inherited ones).
 *library: Updated libraries and examples included with EiffelStudio installation to avoid obsolete feature calls.
@@ Line 45: / Line 47: @@
 *: new messaging module to send message to web site users.
 *: added support for profile name, in addition to standard user name (so now, for security, username can be hidden from posts)
 *library (base): Added new creation procedure `{*_STRING_8}.make_from_c_substring (...)`

@@ Line 70: / Line 70: @@
 *EiffelStudio (compiler): fixed tracing support, now the tracing starts from the beginning of the execution (as expected).
 *library (json): Fixed parsing of integer 64 value (when it is not an integer 32).
 ===User changes===

@@ Line 59: / Line 59: @@
 *compiler: test#codeanalysis025 - Fixed a bug that might cause code analyzer to finish with an error when checks involve inline agents or built-in features.
 *run-time: test#scoop080 - Fixed a bug that might cause evaluation of a class invariant on a separate object before executing its creation procedure body.
 *compiler: test#scoop081 - Fixed a bug that might cause infinite recursion when evaluating preconditions with agents in SCOOP mode when the system is frozen or finalized.
 *library: scoop_patterns - Fixed inline C code that used a run-time macro that was renamed earlier.