diff --git a/documentation/current/eiffelstudio/eiffelstudio-reference/compiler/compiler-history/eiffelstudio-6-compiler-history/major-changes-between-ise-eiffel-65-and-ise-eiffel-66.wiki b/documentation/current/eiffelstudio/eiffelstudio-reference/compiler/compiler-history/eiffelstudio-6-compiler-history/major-changes-between-ise-eiffel-65-and-ise-eiffel-66.wiki new file mode 100644 index 00000000..0e423fd2 --- /dev/null +++ b/documentation/current/eiffelstudio/eiffelstudio-reference/compiler/compiler-history/eiffelstudio-6-compiler-history/major-changes-between-ise-eiffel-65-and-ise-eiffel-66.wiki @@ -0,0 +1,49 @@ +[[Property:title|Major changes between ISE Eiffel 6.5 and ISE Eiffel 6.6]] +[[Property:link_title|6.6]] +[[Property:weight|-13]] +[[Property:uuid|4ff759ff-c389-f765-0252-2d844b69fa54]] +==What's new== +{{seealso|[[Differences between standard ECMA-367 and Eiffel Software implementation|Differences between standard ECMA-367 and Eiffel Software implementation]] }} +* Added support for new once syntax and once per object. +* Added support for RAT/QAT. +* Added a new option Total Order on REALs which let 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. +* Added the ability to version a class for storable. 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. +* 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 + +* Now the compiler will report usage of is keyword as obsolete in transitional mode and will reject it in standard mode. + +==Improvements== +* Added support of transient attributes for .NET. Added queries in INTERNAL to find out the transient attributes. Extended the Eiffel serialization SED to support them. +* Redone some of the multithreading internals of the Eiffel runtime to make it easier to add platforms and to ensure the same behavior on various platforms, namely that mutex should be recursive. +* On Windows, the MUTEX class is now internally using a CRITICAL_SECTION object which is much more efficient especially on multiprocessors. + +==Changes== +* The experimental mode available in 6.5 and earlier version has become the default mode. To have access to the default mode of 6.5, one has to use the compatible version. It can be accessed on Windows via the Start menu shortcut or by using "-compat" on the command line. +* Allowed manifest real constants to be assigned to REAL_32 entities without having the need to type the constant, that is to say `r_32 := 4.5' will now be accepted whereas before one had to do `r_32 := {REAL_32} 4.5'. This is to simplify migration from code that compiled fine under 6.5 and would not under 6.6 due to the removal of the conversion routine from REAL_64 to REAL_32. +* When twinning a SPECIAL instance where capacity is much higher than its count the new copy will have its capacity set to count. +* The storable format has changed to support versioning. This new format is only available in the default mode. When using the compatible mode it will store using the old format and no version information will be stored. + +==Bug fixes== + +===Language issues=== +* Fixed in void-safe mode conformance of detachable COMPARABLE to attached ANY. Fixes updated eweasel test#conform001. + +===Compiler issues=== +* Fixed test#incr168 when recompilation did not regenerate the code in some complex cases when features are modified deep in inheritance tree. It also fixes eweasel test#exec283 and addresses a consistency issue with the order of merging inherited assertion clause that would not trigger the same output if recompiled from scratch after some incrementality changes (see eweasel test#incr124). +* Fixed bug#16545 when compiler did not detect that a new file does not contain an expected class after referencing it in a system (see test#incr340). +* Fixed several recompilation bugs (bug#16546, bug#16547, bug#16553) for cases when a feature with assertions is removed from a parent class while a child class remains unchanged (see test#incr341, test#incr342, test#incr343). +* Fixed recompilation bugs (bug#14525, bug#16052) that caused compiler crash or incorrect error message when checking inherited code of a client that refers to a feature that is (re)moved (see test#incr293, test#incr338). +* Fixed bug#16593 where finalizing twice in the same sessions with many changes in the system could cause the compiler to crash during degree -3. + +===Runtime/code generation issues=== +* Fixed test#runtime016 due to an improper optimization of the call {SPECIAL}.copy_data when inlining is enabled. It could cause a memory corruption. +* Fixed bug#16626 bug that occurred when melted code called frozen code that called a melted agent triggering exception (see test#incr348). +* Fixed eweasel test#agent001 and test#agent013 by preventing wrong optimization when call to `{ROUTINE}.call' or `{FUNCTION}.item' are subject to dynamic binding. +* Fixed eweasel test#exec323 where comparison using <= or >= in melted mode which involved NaN was not yielding the same result as in workbench mode. + +===Store/Retrieve issues=== +* Fixed eweasel test#store029 where retrieving a storable made by 6.3 or older could fail with a mismatch error when there is actually no mismatch. + diff --git a/documentation/current/eiffelstudio/eiffelstudio-reference/eiffelstudio-release-notes/eiffelstudio-6-release-notes/release-notes-eiffelstudio-66.wiki b/documentation/current/eiffelstudio/eiffelstudio-reference/eiffelstudio-release-notes/eiffelstudio-6-release-notes/release-notes-eiffelstudio-66.wiki new file mode 100644 index 00000000..6862bc80 --- /dev/null +++ b/documentation/current/eiffelstudio/eiffelstudio-reference/eiffelstudio-release-notes/eiffelstudio-6-release-notes/release-notes-eiffelstudio-66.wiki @@ -0,0 +1,57 @@ +[[Property:title|Release notes for EiffelStudio 6.6]] +[[Property:link_title|6.6]] +[[Property:weight|-13]] +[[Property:uuid|16d03e3f-d0ff-c56e-6e77-232087ec3bfb]] +==Graphical environment== + +===What's new=== +* Added the parent clauses of a class in the "Features tool" making it easier to navigate/edit parent classes. + +===Improvements=== +* Double clicking in the editor tab ribbon will create a new tab of the editor. +* Pressing "Ctrl+Enter" while typing a class name in the address bar will open the class or feature in a new tab of the editor. +* Pressing the middle mouse button on a tab will now close that tab. +* Added shortcuts for "Run workbench system" and "Run finalized system" + +===Changes=== +* The experimental mode available in 6.5 and earlier version has become the default mode. To have access to the default mode of 6.5, one has to use the compatible version. It can be accessed on Windows via the Start menu shortcut or by using "-compat" on the command line. + +===Bug fixes=== +* Fixed an issue when the error tooltip would keep flashing when the cursor is outside the EiffelStudio environment. +* Fixed an issue while searching text in the implementers or descendants view it would not scroll to the found text. +* Fixed an issue with the error List window which would come up blank on error if auto-hidden when EiffelStudio started. + +==Compiler== +* Click [[Major changes between ISE Eiffel 6.5 and ISE Eiffel 6.6|here]] for the compiler release notes. + +== AutoTest== + +==Debugger== +* Click [[Release notes for EiffelStudio 6.6 related to the debugger|here]] for the EiffelStudio debugger release notes. + +==EiffelBuild== +* Click [[EiffelBuild Version History|here]] for the EiffelBuild release notes. + +==Libraries== + +===EiffelBase=== +* Added ability to traverse most containers in EiffelBase using the new across loop construct. +* Added a new feature trim to the RESIZABLE class and its decendants to allow for minimizing the allocated storage. +* Modified ARRAYED_QUEUE to avoid using an extra slot that did not keep any value and was used only for implementation purposes. +* Added support for correct mismatch in the SED serialization cluster. +* Fixed ARRAY2 so that it can be used in void-safe mode too. Improved ARRAY2 resizing efficiency. +* Changed the display of REAL/DOUBLE fields to show REAL_32 or REAL_64. +* Changed the display of NaN/-Infinity/Infinity for real numbers so that it is the same on all our supported platforms. + +===EiffelThread=== +* Made the THREAD class thread-safe which prevents using the same object to launch a new thread. Now there is a precondition is_launchable and a status report is_last_launch_successful to help finding out if a thread was really launched. + +===EiffelNet=== +* Fixed precondition violation in {ARRAY}.force when compiling EiffelNet in void-safe mode. +* Changed internal of MEDIUM_POLLER to use HASH_TABLE, as a consequence the queries read_command_list, write_command_list and exception_command_list are now obsolete and should not be used. + +===EiffelVision2=== +* [[Revisions and Bug Fixes|Click here for EiffelVision2 release notes.]] + +[[EiffelStudio release notes|Click here to check out what was new in other versions]] + diff --git a/documentation/current/solutions/gui-building/eiffelbuild/eiffelbuild-version-history.wiki b/documentation/current/solutions/gui-building/eiffelbuild/eiffelbuild-version-history.wiki index 25a67695..d7793f3e 100644 --- a/documentation/current/solutions/gui-building/eiffelbuild/eiffelbuild-version-history.wiki +++ b/documentation/current/solutions/gui-building/eiffelbuild/eiffelbuild-version-history.wiki @@ -1,6 +1,9 @@ [[Property:title|EiffelBuild Version History]] [[Property:weight|2]] [[Property:uuid|8cc0540e-8ee7-c005-0534-a2ed62f41c96]] +==6.6 Release== +No changes. + ==6.5 Release== * Fixed bug#15947 to make the generated code compile in void-safe mode. * Fixed bug#13296 when retrieving a project using an EV_SPIN_BUTTON element. diff --git a/documentation/current/solutions/gui-building/eiffelvision-2/revisions-and-bug-fixes.wiki b/documentation/current/solutions/gui-building/eiffelvision-2/revisions-and-bug-fixes.wiki index 1b5f7e10..7d563a14 100644 --- a/documentation/current/solutions/gui-building/eiffelvision-2/revisions-and-bug-fixes.wiki +++ b/documentation/current/solutions/gui-building/eiffelvision-2/revisions-and-bug-fixes.wiki @@ -3,6 +3,15 @@ [[Property:uuid|eb11a237-0c75-0427-452a-303d4f276b97]] This document contains details of modifications and bug fixes to the EiffelVision 2 library listed by the release version of EiffelStudio. All bug fixes and modifications are relative to the previously released version. +==EiffelStudio 6.6== + +'''Improvements''' +* Optimized integration with EiffelGraph library for improved projection speed and efficiency + +'''Bug fixes''' +*'''Platform Independent''' +** Fixed multi-threading dead-lock problem when extending idle actions whilst blocking the main thread with a mutex via an idle action. + ==EiffelStudio 6.5== '''Improvements'''