EiffelStudio 7.3 Releases - Revision history

Manus: Updated to final release.

2013-08-07T14:21:22Z

Updated to final release.

2013-05-30T16:43:58Z

‎Improvements: Added a note on changing libraries to the highest void-safety level.

2013-05-28T19:09:21Z

‎Improvements: Added a note on changing a dialog to add librareies.

2013-05-28T18:49:37Z

‎New features: Added a note on adding new levels of void safety.

2013-05-28T04:55:15Z

‎Bug fixes

2013-05-22T02:43:09Z

‎Improvements: Added a note on introducing targeted rules.

2013-05-22T02:21:58Z

‎Bug fixes: Added a note on fixing test#attach103.

2013-05-21T11:21:23Z

‎Bug fixes: Added a note on fixing bug#17314 (test#attach081), bug#17319 (test#attach082).

2013-04-25T22:49:45Z

‎Bug fixes

2013-04-06T17:32:41Z

‎Improvements

@@ Line 5: / Line 5: @@
 Beta download: ftp://beta:beta57@ftp.eiffel.com/7.3/
-==7.3.x.y (...)==
+==7.3.9.2766 (July 1st, Final Release)==
 ===New features===

@@ Line 19: / Line 19: @@
 * {{Red|compiler: Relaxed rules for using Current and unqualified agents when not all attributes are set to report VEVI errors only when qualified calls are involved in a sequence of unqualified calls and creation procedure calls ("targeted rules") (rev#92573).}}
 * studio: Used void-safety settings of a target to list libraries that are compatible with it and provided more details on their void-safety status in a dialog to add libraries.
 ===Feature removed===

@@ Line 18: / Line 18: @@
 * compiler: Fixed issue that causes many classes to be recompiled when not needed. (rev#92411).
 * {{Red|compiler: Relaxed rules for using Current and unqualified agents when not all attributes are set to report VEVI errors only when qualified calls are involved in a sequence of unqualified calls and creation procedure calls ("targeted rules") (rev#92573).}}
 ===Feature removed===

@@ Line 13: / Line 13: @@
 * {{Red|compiler, run-time: test#scoop030, test#scoop031 - Supported agents with targets of separate types (rev#92361, rev#92362).}}
 * studio: "Affected target" and "Affected source" in Info tool. They are used to report potential target or source changes that are affected by corresponding source and target.(rev#92389)
 ===Improvements===

@@ Line 33: / Line 33: @@
 * compiler: bug#17314 (test#attach081), bug#17319 (test#attach082) - Fixed error in processing replicated and selected attributes with self-initializing attribute bodies that could lead to reporting these attributes as uninitialized.
 * compiler: test#attach103 - Fixed a bug that might result in a missing VEVI error for Result in a self-initializing attribute body.
 ===User changes===

@@ Line 30: / Line 30: @@
 * studio: Fixed a crash after saving a diagram as a PNG file. (rev#92414).
 * serialization: Fixed a bug in .NET where using the Eiffel serialization or marking objects would trigger computation of `hash_code' on Eiffel objects and thus changing their state.
 ===User changes===