EiffelStudio: an EiffelSoftware project - New pages [en]

EiffelStudio 25.12 Releases

2026-01-20T17:21:39Z

Jfiat: Created page with "Category:Releases__NOTOC__{{ReleaseHistoryHeader}} __NOTOC__ Beta download: https://account.eiffel.com/downloads/channel/beta Stable download: https://account.eiffel.c..."

[[Category:Releases]]__NOTOC__{{ReleaseHistoryHeader}}

__NOTOC__

Beta download: https://account.eiffel.com/downloads/channel/beta

Stable download: https://account.eiffel.com/downloads/channel/stable

== Release 25.12.9.8922 (Dec 2025) ==

== Overview ==
This changelog documents the changes between Eiffel 25.02 and Eiffel 25.12 releases.

'''Statistics:'''
* Total commits: 200+
* Files changed: 8,259
* Insertions: 1,376,161
* Deletions: 1,013,579

----

== Major New Features ==

=== 1. PostgreSQL Support for EiffelStore ===
* '''NEW''': Complete PostgreSQL database driver implementation
* Added native PostgreSQL binding for EiffelStore library
* Includes C library wrapper (<code>eif_postgresql.c/h</code>)
* Docker compose support for testing
* Full CRUD operations support
* Test suite with comprehensive coverage

'''Files Added:'''
* <code>Src/library/store/dbms/rdbms/postgresql/</code> (complete new directory)
* PostgreSQL C bindings and Eiffel wrapper classes
* Test infrastructure with Docker support

=== 2. PostgreSQL Support for CMS ===
* Added PostgreSQL storage backend for CMS (Content Management System)
* New <code>cms_storage_store_postgresql</code> implementation
* SQL converter for PostgreSQL-specific syntax
* Database connection handler for PostgreSQL
* Full integration with CMS modules

'''Files Added:'''
* <code>Src/unstable/library/web/cms/library/persistence/store_postgresql/</code>
* Complete test suite for CMS PostgreSQL storage

=== 3. AWS S3 Client Library ===
* '''NEW''': First version of S3 client library
* Enables interaction with Amazon S3 storage services
* Support for basic S3 operations

=== 4. CMS API Key Authentication Module ===
* '''NEW''': API key-based authentication for CMS
* Token management system
* Scope-based access control
* WebAPI integration
* SQL storage backend

'''Files Added:'''
* <code>Src/unstable/library/web/cms/modules/api_key_auth/</code>

=== 5. CMS Storage Browser Module ===
* '''NEW''': Database browser module for CMS
* Query execution interface
* Table schema inspection
* Data browsing capabilities
* WebAPI handlers for storage operations

'''Files Added:'''
* <code>Src/unstable/library/web/cms/modules/storage/</code>

=== 6. CMS Command Line Interface (CLI) ===
* '''NEW''': CLI execution mode for CMS
* Interactive shell with ANSI control support
* Admin commands for users and modules
* Module-specific CLI extensions
* Command utility framework

'''Files Added:'''
* <code>Src/unstable/library/web/cms/cli/</code>

----

== Library Updates ==

=== Gobo Library ===
* Updated to Gobo 25.12
* Added new libraries: langserver, storable, thread
* Extensive documentation updates

=== EiffelVision2 ===
* '''SECURITY FIX''': Fixed potential buffer overflow in GTK binding
* Fixed erroneous precondition in <code>EV_FONT_I.copy_font</code>
* Updated GTK3 C utilities

=== SQLite ===
* '''MAJOR UPDATE''': Updated SQLite C driver to latest version
* Significant improvements and bug fixes (96,794 lines changed)
* Added JSON example for SQLite

=== EiffelWeb Framework (EWF) ===
* Improved <code>WSF_ROUTER</code> with default handler support
* Enhanced <code>WSF_FILE_SYSTEM_HANDLER</code> for index.html support
* Better OPTIONS request handling
* Added <code>WSF_OPTIONS_RESPONSE</code>
* Improved CORS support
* Enhanced request information handling (path_info, request_uri)

=== URI Library ===
* Made <code>URI_PERCENT_ENCODER</code> visible for reuse
* Improved percent encoding utilities

=== Text Filter Library ===
* Enhanced <code>URL_CONTENT_FILTER</code>
* Improved HTML content filtering

----

== CMS (Content Management System) Enhancements ==

=== Authentication & Security ===
* '''NEW''': "Sign In With Email" magic link authentication
* Enhanced JWT authentication with magic links
* Improved email verification system
* Better user registration workflow
* Enhanced OAuth 2.0 support (added GitHub predefined config)
* Improved session authentication
* Better password reset functionality

=== Email System ===
* Restructured email templates
* Added <code>send_at</code> information to CMS emails
* Improved email confirmation pages
* Better mail template organization
* Enhanced authenticated email notifications

=== User Management ===
* Improved user profile handling
* Enhanced user deletion support
* Better temporary user management
* Improved user activation workflow
* Enhanced user registration process

=== Module System ===
* Better module initialization and update operations
* Improved module override capabilities
* Enhanced module installation process
* Better error handling in module operations

=== Storage & Database ===
* Better database connection handling
* Improved transaction support
* Enhanced query execution
* Better error reporting

=== WebAPI ===
* Improved router with default response handling
* Better JSON response formatting
* Enhanced WebAPI filter system
* Improved status code handling
* Better error responses

=== Admin Interface ===
* Enhanced admin info page with request details
* Improved module management interface
* Better user management tools
* Enhanced log viewing
* Improved mail handling interface

=== CMS / Block System ===
* '''NEW''': Mustache template block support
* Enhanced custom block with template engine selection
* Improved block condition expressions (added negation support)
* Better modal content blocks
* Enhanced Smarty template blocks

=== Miscellaneous CMS Improvements ===
* Added CMS version information
* Improved environment variable handling
* Better reverse proxy support
* Enhanced HTTPS detection
* Improved file serving (www directory)
* Better RSS feed generation
* Enhanced URL utilities
* Improved pagination
* Better theme error reporting

----

== Compiler & IDE Improvements ==

=== EiffelStudio ===
* Fixed autocompletion matching logic
* Improved code completion window
* Fixed various UI issues

=== Compiler ===
* Fixed type conformance test signatures
* Improved error context printing
* Fixed execution of except016 test

=== C Runtime ===
* Fixed memory corruption in <code>MultiByteToWideChar</code> calls
* Fixed C warnings in various components

----

== Database & Storage ==

=== MySQL/MariaDB ===
* Updated to use latest C connector (msvcrt.lib on Windows)
* Improved connection handling
* Better error reporting

----

=== Bug Fixes ===
* Fixed postcondition of <code>MUTEX.destroy</code>
* Fixed potential buffer overflow in EiffelVision GTK
* Fixed memory corruption issues
* Fixed STRING_32 vs STRING_8 conversion issues
* Fixed warning removals throughout codebase

----

== Deprecated & Removed Features ==

* Removed obsolete reverse assignment attempts (replaced with object tests)
* Removed obsolete iteration cursor usage
* Cleaned up unused local variables throughout codebase
* Removed specific OPTIONS HTTP request handling (now uses default)

----

== Security Fixes ==

* Fixed potential buffer overflow in EiffelVision GTK binding
* Fixed memory corruption in Windows API calls
* Enhanced input validation
* Better SQL injection prevention

----

== Breaking Changes ==

* Updated method signatures for type conformance tests
* Changed <code>convert_to_stream</code> signature (encoding may be Void)
* Updated various storage API signatures
* Modified authentication email service parameters

EiffelStudio 25.02 Releases

2025-02-11T12:12:35Z

Jfiat:

[[Category:Releases]]__NOTOC__{{ReleaseHistoryHeader}}

__NOTOC__

Beta download: https://account.eiffel.com/downloads/channel/beta

Stable download: https://account.eiffel.com/downloads/channel/stable

== 25.02.9.8732 (Feb 2025) ==
* IDE: fixed import of settings on non Windows platforms
* IDE: improved implementation of variable files in the execution parameters dialog
* library: updated the MongoDB set of libraries

== 25.02.9.8723 (Feb 2025) ==

===Compiler===
* Added support for $(path_separator) for the external locations (in ECF files)
* Fixed C code generation related to generic type based on basic types such as TYPE [TYPED_POINTER [NATURAL_8]]

===IDE===

===New features===
* Execution parameters: added the possibility to group execution profiles (in the execution parameters dialog)
* Execution parameters: added support for environment files in the execution parameters. In addition to be able to add environment variables directly, it is now also possible to "include" a variables file (multi-line name=value content). This way it gets simpler to reuse the same environment variables for different execution profiles.
* persistence: added MongoDB wrapper
* persistence: added MariaDB support to EiffelStore.
* Diagram tool: implemented export to SVG file.

===Improvements===
* IDE: added the EIFDATA directory, inside the project location, to store EiffelStudio data that is not dependent on one session, and that could be committed as source code.
* Diagram tool: the diagram XML files are not stored inside the new EIFDATA directory and not anymore in the EIFGENs directory.
* IDE: fixed the importation of the last opened projects list when the user launches a new version of EiffelStudio for the first time.
* Source control tool: minor improvement for the SCM tool, related to the project setup control.

===Bug fixes===
* compiler: avoid unwanted precomp-estudio, precomp-iron, ... directories.
* compiler: fixed argument processing for -metadata_cache_path when it is in last position
* diagram tool: fixed loading of diagram links
* diagram tool: fixed angle moving behavior: it is now possible to select an angle and move it.
* IDE: fixed and improved the Add Class dialog for the inheritance class selection.
* diagram tool: fixed the expected zoom in/out behavior using the mouse scrolling (before it was reversed behavior).
* dependency tool: fixed an infinite loop
* autotest: fixed various autotest UI issues.

===Feature removed===

===Libraries Improvements===
* wikitext: improved support for <nowiki>[[File:...]]</nowiki> to display images (following mediawiki behavior)
* http_client: added feature to remove query or form parameters with a given name
* json: added JSON_SERIALIZABLE and associated JSON_SERIALIZABLE_SERIALIZER to make a class JSON serializable
* json: added convenient classes (JSON_PRETTY_FILE_VISITOR and JSON_FILE_SERIALIZATION_VISITOR) to serialize JSON values directly to files
* cms: expand the environment variable ${VARNAME} in the application configuration "env.json". With support for syntax: ${VARNAME-default} and ${VARNAME:-default}
* cms: added support for "environment" in the server.ini file. (note: add for instance "environment=.env" and the name=value variables from the .env file will be applied when running the server. The .env content should be multilines NAME=VALUE ).
* crypto: added implementation for the Advanced Encryption Standard (AES) algorithm
* crypto: made BASE64 from the crypto library visible and reuse it in other libraries that need base64 encoding.
* vision2 / model: added support for EV_PIXEL_BUFFER on EV_MODEL_PICTURE

===User changes===
* refactoring: now by default the "rename class" refactoring operation also rename files.
* diagram tool: updated toolbar layout and style (client/supplier links are now blue, and associated labels are green. Note: those colors can be changed via the Preferences)
* diagram tool: by default, do not include the figures for ANY and the common types when generating diagrams.

===Developer changes===
* migrated from subversion to git for the main EiffelStudio repository (various mirrors will be updated)

EiffelStudio 24.05 Releases

2024-06-03T13:10:39Z

Jfiat:

[[Category:Releases]]__NOTOC__{{ReleaseHistoryHeader}}

__NOTOC__

Beta download: https://account.eiffel.com/downloads/channel/beta

Stable download: https://account.eiffel.com/downloads/channel/stable

== EiffelStudio 24.05.... (May 2024) ==

===Compiler===
* dotnet: many improvements in the support of '''.NETCore (net6.0, net7.0, net8.0, ...)''' (see the online documentation for current limitations).
* compiler: fixed type error in class ELSIF_EXPRESSION_B, related to BYTE_LIST.enlarge_tree
* compiler: Added debugging support for Eiffel .NETCore applications on Windows.
* dotnet: new warning to report that SCOOP concurrency is not yet available for .NET project and use instead the thread concurrency.
* dotnet: updated generated csproj file (used to build "native" executable, and also make it simpler to debug Eiffel .NETCore applications with VisualStudio Code).
* dotnet: Added pdb file generation for Eiffel .NETCore applications.
* dotnet: added partial support for .Net generic methods.

===IDE===
* studio: added [Ctrl]+[Up] and [Ctrl]+[Down] shortcuts to scroll up or down the editor by one line.
* studio: added 3 '''composer''' commands (add attribute setter procedure, remove feature, add creation procedure) to assistant user in editor (see menu `Edit > Composer`...)
* studio: Added a new way to '''authentication''', using a '''"Sign in" challenge''' with the browser authentication system
* studio: updated the release update checker to take into account the revision number for the full version.
* compiler: ensure the IL environments also include the short name "net6.0, net7.0, ..." and not only the full version.

===Bug fixes===
* studio: fixed regression, about displaying text longer than grid item width (fixed the ellipsis implementation)
* studio: fixed EiffelStudio layout deletion operation
* studio: fixed diagram tool "cancel export to PNG", to really cancel and stop any export action.
* dotnet: fixed implementation of PLATFORM for dotnet on non Windows platforms.
* dotnet: improved detection of the dotnet root directory (such as $HOME/.dotnet/ , ...)
* espawn: fixed and improved the usage of espawn temporary file name
* dotnet wizard: fixed the dotnet wizard implementation.
* dotnet: improved implementation of object test for descendant of generic type.
* dotnet: fixed instance free call on inherited external features.
* dotnet: fixed Eiffel .Net support for builtin static features.
* debugger: when starting an execution via the Execution parameters dialog, always apply changes if any.
* various minor bug fixes (including as well typo, ...)

===Libraries Bug fixes===
* vision2: do not modify anymore the EV_KEY_CONTANTS values, when used in relation with EV_KEY and EV_ACCELERATOR
* process: use buffer.capacity instead of .count when calling read in order to use the full capacity.
* docking: Fixed SD_TOOL_BAR_CONTENT.is_menu_bar if items is empty
* WEL, vision2: ensures wel and vision2 applications are supported by Eiffel .NETCore compilation.

===Libraries Improvements===
* compression/zlib: Added ZLIB_UTILITIES to make it simpler to (un)compress a file
* CMS: improved the Eiffel CMS library (new cleanup hook, better redirection system, admin for node module, ...)
* EiffelStore: Updated implementation and configuration to make it simpler to use on unices (priority to the MYSQLINC and MYSQLLIB variables if defined, otherwise try to use the msql-config script.)
* EiffelWeb: Ignore the query part for URI mapping
* JSON: Added JSON_BASIC_SERIALIZER for convenience.
* JSON: The field name for type information is now customizable via the JSON_(DE)SERIALIZER_CONTEXT interface (default is "$TYPE").
* Eiffel cURL: updated to version 8.5.0 of libcurl.
* openSSL: Eiffel OpenSSL library updated to use the version 3.2.
* EiffelVision2: added support for `pick_actions` on `EV_MODEL`

===Developer changes===
* EiffelBase: Do not check anymore for VERSIONABLE conformance anymore in READABLE_INDEXABLE_ITERATION_CURSOR (rev#107717).
* dotnet: Added "-metadata_cache_path" description in the compiler help message.
* dotnet: Added a new environment variable ISE_DOTNET_ASSEMBLIES_PATH to overwrite the default location of the .Net MD Cache (under Eiffel User Files/.../dotnet/assemblies)
* command line: added -appinfo to get information about Eiffelstudio installation (i.e: ?, version, short_version, version_type, layout, layout.install_path, layout.user_files_path, layout.hidden_files_path, environment).
* compiler: on unices, to compile generated C code, use the compiler (usually gcc) instead of the specific 'ld' tool

EiffelStudio 23.09 Releases

2023-09-27T16:32:50Z

Jfiat: /* Compiler */

[[Category:Releases]]__NOTOC__{{ReleaseHistoryHeader}}

__NOTOC__

Beta download: https://account.eiffel.com/downloads/channel/beta

Stable download: https://account.eiffel.com/downloads/channel/stable

== EiffelStudio 23.09.10.7325 (September 2023) ==

===Compiler===
* dotnet: added compilation support for '''.NETCore (net6.0, net7.0)''' (see the online documentation for current limitations).
* dotnet: removed support for .NET frameworks older than v4.0

===IDE===

* studio: using the environment variable `ES_CLOUD_PREFERRED_HTTP_CLIENT`, the user can force EiffelStudio to use the "curl" executable instead of libcurl or EiffelNet for the cloud account webapi client.
* Compiler: the compiler creates required directory recursively, including the `-project_path ..` location if it does not exist.
* studio: fixed the behavior of EiffelStudio when the user tries to compile first inside a read-only directory, and then to select a better one. EiffelStudio was still reporting the permission denied until EiffelStudio is relaunched.
* various minor bug fixes

===Libraries Bug fixes===

* EiffelBase: fixed the implementation of `SPECIAL.same_items` when Current and other is the same object (noticed when using same_items with immutable string objects built from `shared_substring` function).
* EiffelBase: fixed assertions on `TRAVERSABLE_SUBSET` and `LINEAR_SUBSET`
* EiffelBase: fixed implementation of `disjoint` and `symdif` from class `SUBSET_STRATEGY_GENERIC`.
* EiffelBase: fixed implementation of `move_item` from `LINEAR_SUBSET`
* http_client: fixed the `connect_timeout` implementation for the "libcurl" case.

===Libraries Improvements===
* http_client: added an new implementation of http_client library using the `curl` executable (in addition to `libcurl`, `net`, there is now `curl`)
* http_client: when using DEFAULT_HTTP_CLIENT, it is possible to use `{HTTP_CLIENT}.force_default_client (READABLE_STRING_GENERAL)` to start testing with a specific implementation, instead of using first `libcurl`, then `net`, then `curl`.

== BETA 23.08.10.7218 (August 2023) ==
* IDE: Added more information in the debugger output (modified environment variables, and timestamp for launched,stopped and quit events)
* dotnet: Added support for renaming and prefixing .NET classes based on namespaces (instead of assemblies)
* various bug fixes related to Autotest.

== BETA 23.04.10.6768 (April 2023) ==

===New features===
* IDE: Added "Toggle comment" to comment/uncomment current line/selection. The associated accelerator is Ctrl+/ .

===Improvements===
* IDE: Improved the impact of the zoom factor on EiffelStudio tools (especially features tool and errors&warnings tool)

===Bug fixes===
* compiler: fixed a bug in {CONF_MODIFIED_VISITOR}.handle_class that caused random behavior of test#incr263 by unexpectedly flipping a state flag.
* syntax_updaer: Corrected a bug with conversion of an old ECF when an option was set to a default, but this default was different in the new ECF version, by setting an explicit value instead.
* EiffelBase: Fixed code iterating directly on the READABLE_STRING_(8|32).area by starting at the expected `area_lower` instead of 0. Otherwise strings created by IMMUTABLE_STRING_(8|12).shared_substring (...) were not correctly processed by those converters.
* IDE: Fixed the uncomment of Eiffel lines when there was more than one block "--".
* .Net (framework): Fixing location of dotnet (framework) executable in SDKs (resgen, ...)

===Feature removed===
* IDE: removed "Recompile overrides" command and associated menu/toolbar/shortcut entries because override clusters should be always recompiled, including "quick_melt" compilation mode.

===Libraries Improvements===
* EiffelBase: Made classes immune to default string/character size.
* EiffelWEL: Improved the memory management for WEL_GDIP_IMAGE.
* CMS: Updated feed management to restore the `title` if set in the feed aggregration (potentially update the description as well).
* CMS: added basic CMS node management
* Gobo-Project: Updated to Gobo Eiffel version 22.01 (added gecc, geimage and gedoc)

===User changes===
* IDE: import previous credential when installing a new EiffelStudio version.
* IDE: Updated color management when dark colors are used
** added various preferences to let the user choose its own colors for many UI and text elements.
** Use preferences for debugger tool\'s colors, so that user can choose their own colors.

===Developer changes===
* .Net: moved .Net consumer `emdc.exe` under `%ISE_EIFFEL%\studio\spec\%ISE_PLATFORM%\bin\emdc.exe`.
* .Net: added new .Net consumer `nemdc` tool to `%ISE_EIFFEL%\studio\spec\%ISE_PLATFORM%\bin\netcore` directory.
* Code template: added a new `to_utf_8_string_8.e` code template.

EiffelStudio 22.12 Releases

2022-12-22T13:49:58Z

Jfiat:

[[Category:Releases]]__NOTOC__{{ReleaseHistoryHeader}}

__NOTOC__

= Current official release =
- See the Changelog of [[EiffelStudio 22.12 Releases]]

= Next EiffelStudio Release=

Beta download: https://account.eiffel.com/downloads/channel/beta

Stable download: https://account.eiffel.com/downloads/channel/stable

== 22.12.10.6463 (Dec 2022) ==

===New features===
* New platform: macosx-armv6 (to support M1, M2)
* New platform: linux-arm64

===Improvements===
* editor: Added support for once classes in feature code completion.
* runtime and generated C code: updated C code to match clang expectations. Mostly related to clang optimization, and especially on ARM architecture.
** Fixed code generation for equality tests when the second operand is a call to a function that can allocate memory so that the first operand gets moved by GC (reproducible when compiled with clang as C compiler).
* wrapc: improved glue C code to support recent version of gcc.
* dotnet: enabled the use of the emdc.exe md consumer, as an alternative to the COM md consumer.

===Bug fixes===
* compiler: fixed crash when a once class lists no creation procedures.
* studio: allow user to include ecf file that is a redirection (using the Browse button of the "Add Library" dialog)
* editor: Fixed crash on Windows, when first inserting Unicode symbol using the Symbols dialog.
* installation: On Windows, fixed issue preventing the EiffelStudio installations of both 32bit and 64bit versions at the same time on the same machine.
* studio: Fixed "Add cluster" in recursive cluster, and also allow to create a new top level cluster.
* dotnet: Fixed a bug that caused discarding a .NET namespace when saving an ECF from the project setting dialog.

===Feature removed===

===Libraries Improvements===

===User changes===

===Developer changes===
* runtime: fixed typo preventing to use of LD environment variable to compile C code on Linux.

EiffelStudio 22.05 Releases

2022-05-24T20:32:00Z

Jfiat:

[[Category:Releases]]__NOTOC__{{ReleaseHistoryHeader}}

__NOTOC__

Beta download: https://account.eiffel.com/downloads/channel/beta

Stable download: https://account.eiffel.com/downloads/channel/stable

== EiffelStudio 22.05.10.6292 (May 2022) ==

===Improvements===
*source control tool: UI enhancement (zoom support for grid and text, diff from any file in a repo),
*estudio(debugger): Updated debugger tools to better support editor zoom factor.
*wrapc: Updated wrapc/src/support/wrapc_wizard_function_generator.e class to extract only functions definitions. Added code to extract callbacks in the future.
*source control tool: Implemented post commit operations handling via the commit dialog (mostly git push for now)
*estudio(unix): fixed potential infinite recursion with modeless dialog
*source control tool: added "add" and "delete" scm operations

===Bug fixes===
*source control tool: fixed commit with message having double quotes, quotes, backquote for code.
*source control tool: Ensure any scm operation has output message. Improved the revert operation for git, by resetting added or deleted files.
*library(json): If no serializer has specific handling for strings, use as default JSON_STRING.
*iron: make sure temporary (archive) file are removed once it is uploaded.

'''And all from previous BETA'''

== BETA 22.04.10.6247 (April 2022) ==

===New features===

===Improvements===
*source control: added "add" and "delete" scm operations
*source control: many minor UI improvements
*studio: added support for `{CLASS_NAME}.feature_name` in Eiffel comments.
*studio: include the feature indexing notes in clickable view.

===Bug fixes===
*compiler: ignore unexpected BOM character in .ecf file (fixed a crash of the compiler, if such BOM was wrongly added).
*compiler: Fixed bug#19838 (test#valid299) by looking through all routine IDs rather than using the first one to handle anchors on merged features.
*source control: Fixed usage of temp file for SVN and GIT commit, needed for multi-lines commit log.
*C compilation: Fixed crash of espawn and finish_freezing due to VS2022, and added support for VS2022.
*studio: fixed the output of creation expression in clickable view (missing end keyword, ..).
*tool(eiffel): added support for remote targets to the `eiffel` script tool.
*tool(compile_all): added support for remote targets.

===Feature removed===

===Libraries Improvements===
*library(jwt): Adjust token sub string (related to header, payload, and signature), to avoid unwanted spaces.
*library(base): Added routines to convert INTEGER_* and NATURAL_* to binary and octal string representations.
*library(web): if the port is already binded, the standalone httpd server will try for about 2 minutes before giving up and reporting the error. See the `max_bind_attempts` configuration. (note: mostly used on Linux during debugging session).
*library(json): Added a new JSON_PATH following JSON Path specification
*library(cms): Fixed various issues caused when the CMS url is subfolder (not at the domain.tld/ root).
*library(json): Added JSON_STREAM_WRITER interface to generate JSON content.
*library(json): Added JSON_EQUALITY_TESTER providing helper functions to compare JSON contents.
*library(cms): Added a back-end page to list emails sent to a specific user. Various minor UI improvements.

===User changes===

===Developer changes===
*wrapc: Updated feature {EWG_C_AST_PRIMITIVE_TYPE}.corresponding_eiffel_type
** Mapping `unsigned` (it's a shorthand of `unsigned int`) as `NATURAL` in Eiffel.
** Mapping `unsigned char` as `NATURAL` in Eiffel.
*environment: support absolute path for EC_NAME, so it can use full path to the ec executable.
*compiler: Exit with -1 and unsuccessful workbench compilation (only when a system was open).

EiffelStudio 21.05 Releases

2021-01-11T14:44:06Z

Jfiat:

[[Category:Releases]]__NOTOC__{{ReleaseHistoryHeader}}

__NOTOC__

= EiffelStudio 21.11.10.6046 Releases=

Beta download: https://ftp.eiffel.com/pub/beta/

== 21.11.10.6046 (November 2021) ==

===New features===
* compiler: Supported a unified syntax to access loop cursor features inside an iteration form of a loop for both keyword-based and Unicode-based loop variants. The current item is accessed by the cursor name. The cursor feature is accessed by preceding the cursor name with the symbol <e>@</e>. For example:
<e>
∀ x: array ¦ (@ x.target_index \\ 2 = 0 ⇒ x > 0) -- All elements at even positions are positive.

-- Print all elements of a table prefixed with their keys.
across table as y loop
print (@ y.key)
print (": ")
print (y)
io.put_new_line
end
</e>
:The existing code can be updated with <code>syntax_updater</code> invoked with option <code>-i</code>.
* library (base): Marked <e>make_from_iterable</e> as a conversion procedure from <e>ARRAY</e> for some container classes to enable initialization of the corresponding entities from manifest arrays of elements by reattachment. This enables writing
<e>
x: LINKED_LIST [INTEGER]
...
x := <<1, 1, 2, 3, 5, 8>> -- Create a list with elements 1, 1, 2, 3, 5, 8.
</e>
* library (base): Added <e>{HASH_TABLE}.make_from_iterable_tuples</e> as a creation and conversion procedure from <e>ARRAY</e> to enable initialization from manifest arrays of tuples, for example:
<e>
y: HASH_TABLE [INTEGER, STRING]
...
y := <<[23, "Peter"], [19, "Mary"], [36, "Tom"], [32, "Alice"]>> -- Indexed by person name.
</e>
* EiffelStudio: Added a source control management tool, supporting basic usage of Subversion and Git commands.

===Improvements===
* EiffelStudio: Supported completion for Unicode operators defined in standard classes.
* EiffelStudio: Added scripts (for Unixes) to open an external editor, to open a URL, and to open a terminal.
* EiffelStudio: Migrated to GTK3 on non-Windows platforms (Linux, macOS, etc.).
* EiffelStudio: Used user-controlled editor font in several tools.
* compiler: Extended the error report <code>VWOE</code> about using an operator with an operand of an unexpected type with the operator name and the associated feature name.
* compiler (pretty-printer): Taken any (Unicode) white-space characters into account when pretty-printing, not just a space character and a horizontal tabulation.
* compiler (pretty-printer): test#pretty015, test#pretty028 — Added a preference to control pretty printing of unindented comments (often used for commenting out code). Such comments can keep the (absent) indentation (the default) or be indented using the general rules.
* compiler (code analyzer): Disabled detection of the phrase "to do" unless it is written in capitals and without spaces, and enabled detection of "FIXME" in the comments.
* compiler (pretty-printer): Harmonized indentation for identifier lists, tagged note entries, export clauses, feature signatures, multi-line lists in parentheses, mandatory check instructions, agents, delayed operands, components of a loop expression, manifest arrays, actual arguments, nested feature calls.
* compiler: Used the same indentation for assertion subclauses with and without tags in flat forms and pretty-printer output.
* library (base): Added features <e>set</e>, <e>clear</e>, <e>set_all</e> and optimized features <e>item</e> and <e>put</e> in <e>PACKED_BOOLEANS</e>.
* tool: Ensured that <code>po_generation_tool</code> returns a non-zero error code if processing triggers any errors.

===Bug fixes===
* compiler: test#once029 — Taken into account predefined once keys specified for once creation procedures in SCOOP mode. In particular, the key <code>PROCESS</code> guarantees that a most one object can be created for the whole system.
* compiler: Fixed multiple bugs related to non-conforming inheritance, making the latter usable in production code:
** test#noncon006 — inheritance from a frozen class triggers an error only when the corresponding parent is conforming;
** bug#13556 (test#noncon007) — an explicit conforming inheritance path is not necessary;
** bug#14381 (test#noncon010), bug#17619 (test#valid272) — selection of a replicated feature follows the conforming case;
** bug#17300 (test#incr408) — incremental changes to feature assertions should be handled like in the conforming case;
** bug#17315 (test#once020) — once-per-object features should be handled like in the conforming case;
** bug#18021 (test#noncon024) — dead code removal should keep features of non-conforming parents if necessary;
** test#noncon026 — non-conforming inheritance enables any changes to feature export status.
* compiler: Fixed a bug that may lead to showing wrong source code context when reported issues are associated with different files.
* compiler: Fixed a bug that in rare cases could lead to a crash or incorrect binaries when generating code for .NET.
* compiler: Fixed a bug that caused incorrect .NET code generation for a non-object call on an expanded base class.
* compiler: Corrected code generation for <e>CHARACTER_32.is_space</e> to use properties defined by the Unicode standard.
* compiler: bug#15451 (test#attach055) — Fixed a bug that caused the compiler to report a non-existent <code>VEVI</code> error for the feature <e>default</e> when a reference class inherits from an expanded one.
* compiler (code analyzer): test#codeanalysis033 — Avoided false positives for unreachable code after a conditional instruction when only one branch of the instruction makes the successive code unreachable.
* compiler (pretty-printer): Corrected output for once manifest strings.
* compiler: test#attach131 — Fixed a bug in evaluation of the attachment status of an argument of a separate instruction.
* compiler: Prevented using inline local variables (iteration cursors, locals of separate instructions, object test locals) in old expressions.
* compiler: test#syntax076 — Removed a restriction on using forward and back-slashes for user-defined operators (the following restrictions still apply: <e>\\</e>, <e>/</e>, <e>//</e> can only be used as binary operators).

===Feature removed===

===User changes===
* compiler: Changed the semantics of non-conforming inheritance by removing automatic replication of inherited features.
* library (base): Replaced conforming inheritance with non-conforming one where possible and appropriate.
* compiler: test#lib050 — Ensured that the behavior of <e>CHARACTER_8_REF.is_space</e> and <e>CHARACTER_8.is_space</e> does not depend on the current locale.
* compiler: test#attach130 — Added a validity check that the type of an inspect expression is attached when compiled in void-safe mode.
* compiler: Changed the defaults for the iteration loop syntax in newly created projects to access the current item by the cursor name.
* compiler: Changed to report an iteration form of a loop with keyword <e>is</e> as obsolete. The contemporary syntax is to use the loop with keyword <e>as</e> and symbol <e>@</e> to access cursor features.
* compiler: Changed to report a user-defined operator <e>@</e> as obsolete (in many cases, the bracket operator replaces it).

===Developer changes===
* library (json): Added a date time serializer.
* library (json): Added the possibility to use the reflector serializer with <e>JSON_BASIC_SERIALIZATION</e>.
* library (vision2): Updated the checkbox drawing, and added a new <e>is_indeterminate</e> state.
* library (EiffelWeb): Fixed <e>WSF_REQUEST</e> when searching for a table item with the name such as <code>tb[k1][k2]</code>.
* library (cms): Improved the administration part, and followed recommendation for email sending.
* library (vision2): Switched to GTK3 on non-Windows platforms (to use GTK2, set the project variable <code>vision_implementation</code> to <code>gtk2</code>).

EiffelStudio 20.11 Releases

2020-08-31T14:50:58Z

Alexander Kogtenkov: /* 20.11.xx.yyyy (Month Day 2020) */ Updated the version and the release date.

[[Category:Releases]]__NOTOC__{{ReleaseHistoryHeader}}

__NOTOC__

= EiffelStudio 20.11.x Releases=

Beta download: https://ftp.eiffel.com/pub/beta/

== 20.11.10.5048 (December 21st 2020) ==

===New features===
* compiler: Supported once classes.
* EiffelStudio (wizards): Added WrapC wizard.
* EiffelStudio: Added pretty printer notification.

===Improvements===
* EiffelStudio: Added a zoom indicator in the Zoom menu.
* EiffelStudio (AutoTest): Updated to make it compatible with void safety.
* compiler: Extended the message about successful compilation with a notification if warnings were reported.
* EiffelStudio (editor): Made start and stop symbols from Unicode forms of loop instructions to be pairs of matching "parentheses".
* EiffelStudio (editor): Updated grammar rules for syntax highlighting to match those used by teh compiler.
* EiffelStudio (debugger): Added preferences to control default values of CAT-call detection in the debugger and reporting in the console.

===Bug fixes===
* compiler (pretty printer): Fixed bug#19667 (test#pretty033) by making sure a space is printed before delayed arguments of an agent.
* compiler (pretty printer): Fixed test#pretty034 by correcting output for feature export adaptation clause.
* EiffelStudio: Restore focus to previous focused widget when raising a message notification.
* tool (Eiffel script): Fixed cache location when using an ECF file with multiple application targets.
* EiffelStudio: Fixed the customized formatter editor dialog.
* EiffelStudio: Fixed crash while using the project settings on linux (bug#19687).
* EiffelStudio (AutoTest): Fixed issue with AutoTest Extracted Test Cases
* EiffelStudio (AutoTest): Fixed issue, feature call on void target with Autotest Random generator
* compiler (code analyzer): Significantly reduced the number of false positives when checking for <code>CA022</code> violations (unreachable code).
* EiffelStudio (debugger): Fixed a bug that prevented correct saving and restoring of CAT-call handling settings.

===Feature removed===
* compiler: Dropped support for obsolete syntax with exclamation marks:
** creation instruction/expression: use <e>create x</e> and <e>create {FOO} bar.make</e> instead of <e>!!x</e> and <e>!FOO!bar.make</e>;
** type attachment marks: use <e>attached</e> and <e>detachable</e> instead of marks <code>!</code> and <code>?</code> respectively.

===User changes===
* delivery: removed the "experimental" folder from the delivery.
* EiffelStudio: Added scripts (for Unixes) in <code>tools/spec/../bin</code> to open external editor, launch URL, and open terminal.
* EiffelStudio: Updated Features tools, collapsing inheritance sub-tree by default.
* library (vision): Marked <e>{EV_ANY}.copy</e> as obsolete (it is non-obsolete only in descendants that redefine it).

===Libraries improvements===
* http: Improved support for RFC 3339 (a profile of ISO 8601)
* web cms: improved random value generation
* web cms: improved authentication related to user not yet validated
* eiffelweb: "application/force-download" is not a standard MIME content type, so use "application_octet_stream" instead as default.
* web cms: added support for recaptcha v3
* web cms: improved the custom block module
* web cms: improved web form manipulation and html generation
* vision2: added EV_LINK_LABEL and EV_HIGHLIGHT_LINK_LABEL (to mimic web link)
* uri_launcher: Moved uri_launcher library from Eiffel framework to library/runtime/process/uri_launcher
* base_extension: Added class TOPOLOGICAL_SORTER used to produce a total order on a set of elements having only a partial order.
* base_extension (unstable): extended with library classes for Graphs, B-Trees and union-find, based on the thesis work [https://www.research-collection.ethz.ch/handle/20.500.11850/149025 Extending the Eiffel Library for data structures and algorithms: EiffelBase]
* base: Added a feature `to_hexa_digit` to character classes to convert a hexadecimal (Unicode) digit character to the corresponding numeric value.

===New libraries===
* Multiple new wrappers for C libraries:
{| style="border: solid 1px #ccc;"
!Wrapper
!Description of C library
|-
|[https://iron.eiffel.com/repository/20.11/package/99BB5A06-CBC6-4C32-952A-9BD014E135B2 wrap_mpack]
|mpack is a C implementation of an encoder and decoder for the [MessagePack](https://msgpack.org/) serialization format.
|-
|[https://iron.eiffel.com/repository/20.11/package/691C5109-A19B-47B7-8976-4E60AEB4FD87 wrap_cairo]
|Cairo is a 2D graphics library with support for multiple output devices. Currently supported output targets include the X Window
System (via both Xlib and XCB), quartz, win32, and image buffers, as well as PDF, PostScript, and SVG file output. Experimental backends
include OpenGL, BeOS, OS/2, and DirectFB.
|-
|[https://iron.eiffel.com/repository/20.11/package/B3D0D18C-84CE-4021-98A5-E2E84C8722A6 wrap_rsvg]
|This is librsvg - A small library to render Scalable Vector Graphics (SVG), associated with the GNOME Project. It renders SVG files to Cairo surfaces. Cairo is the 2D, antialiased drawing library that GNOME uses to draw things to the screen or to generate output for printing.
|}

===Libraries bug fixes===
* sqlite3: Fixed SQLITE text containing null character
* web cms: Updated core and authentication modules to remove potential vulnerabilities (js, svg script in url).
* web cms: Fixed a crash of the "roc" installer tool when a module had no "site" folder.
* base: Corrected preconditions of shift operations on integral numbers that might not work when shift count is equal to the number of bits.

===Developer changes===
* libraries: Removed the <code>*-safe.ecf</code> configuration files because they became useless with introduction of capabilities.

EiffelStudio 20.05 Releases

2020-05-12T08:24:23Z

Alexander Kogtenkov: /* 20.05.10.4470 (17/06/2020) */ Formatted date as in previous releases.

[[Category:Releases]]__NOTOC__{{ReleaseHistoryHeader}}

__NOTOC__

= EiffelStudio 20.05.x Releases=

Beta download: https://ftp.eiffel.com/pub/beta/

== 20.05.10.4470 (June 17th 2020) ==

===New features===
* EiffelStudio: Added the new Wrap_c tool.
* EiffelStudio: Added command line option <code>-reset_ide_layout</code> to reset the IDE layout (mostly docking setting for now, usually to recover from bad crash).
* library (base): Added <e>READABLE_STRING</e> and <e>IMMUTABLE_STRING</e> as aliases to sized versions of string classes.
* compiler: Supported a mapping from <e>STRING</e> (and variations) to <e>STRING_32</e> (and variations).
* compiler: Supported multi-branch expressions that are similar to multi-branch instructions, but <code lang="text">Then_part</code>s and <code lang="text">Else_part</code> contain expressions instead of instruction sequences.

===Improvements===
* EiffelStudio: Added Unicode support in the editor search facilities.
* EiffelStudio: Improved account sign in solution.
* tools (eiffel): Improved detection of application targets.
* compiler (code analyzer): Avoided false positives for unneeded parentheses around expressions (<code lang="text">CA023</code>).
* library (base): Updated character properties to use Unicode 13.0.0.
* library: Updated some libraries to be compilable when <e>STRING</e> (and variants) is mapped to <e>STRING_32</e> (and variants): base, base_extension, time, base_process, process, net, diff, wel, testing.
* library (base): Added [https://www.eiffel.org/blog/Alexander%20Kogtenkov/2020/06/unicode-aliases Unicode aliases] for existing features in classes <e>BOOLEAN</e>, <e>COMPARABLE</e>, <e>NUMERIC</e> and their descendants.
* compiler: Changed evaluation of untyped manifest strings to treat them as being of type <e>STRING_32</e> if they contain characters with code points above 255.

===Libraries Improvements===
* library (sqlite3): Updated SQLite3 C code to version 3.31.1 - 2020-01-27.
* library (eiffelweb): Improved web form html generation, especially for select and type checkbox
* library (smarty): Added support for manifest string in condition, such as {if expression="$foo ~'bar'"} ...{/if} .
* library (cms): improved database connection, and error handling during connection.
* library (wikitext): Updated wikitext xhtml generator to follow recommendations from https://validator.w3.org/
* library (curl): Updated cURL binaries using static linking of Microsoft's C RunTime (CRT) to avoid dependency on vcruntime140.dll.
* library (base): Moved built-in routines to <e>ISE_RUNTIME</e>, and also from <e>WEL_IDENTIFIED</e> to <e>IDENTIFIED_ROUTINES</e>.
* library (base): Added support for simpler Unicode output in the console based on new <e>PLAIN_TEXT_FILE.put_string_32</e>.
* library (cms): Improved authentication implementation.

===New libraries===
* Multiple new wrappers for C libraries:
{| style="border: solid 1px #ccc;"
!Wrapper
!Description of C library
|-
|[https://iron.eiffel.com/repository/20.05/package/67922189-E85C-4375-A4C3-7779E6000739 wrap_yaml]
|LibYAML is a YAML parser and emitter library.
|-
|[https://iron.eiffel.com/repository/20.05/package/46827915-EF60-46E2-B953-BC0FE61CB8C6 wrap_sdl]
|Simple DirectMedia Layer is a cross-platform development library designed to provide low-level access to audio, keyboard, mouse, joystick, and graphics hardware via OpenGL and Direct3D. It is used by video playback software, emulators, and popular games including Valve's award-winning catalog and many Humble Bundle games.
|-
|[https://iron.eiffel.com/repository/20.05/package/DDB3B029-7254-47BE-BBC9-78EAFC432821 wrap_libusb]
|libusb is a C library that provides generic access to USB devices. It is intended to be used by developers to facilitate the production of applications that communicate with USB hardware. It is portable: Using a single cross-platform API, it provides access to USB devices on Linux, macOS, Windows, etc.
|-
|[https://iron.eiffel.com/repository/20.05/package/0D27165B-283D-426D-B188-66B4742561D6 wrap_quirc]
|Quirc is a C library for scanning QR codes.
|-
|[https://iron.eiffel.com/repository/20.05/package/62E8BE93-F29C-4F84-BF28-7F66350F4368 wrap_lz4]
|Extremely fast compression library.
|-
|[https://iron.eiffel.com/repository/20.05/package/D7DE54E6-377F-4643-BFBD-683431455385 wrap_libqrencode]
|Libqrencode is a fast and compact library for encoding data in a QR Code, a 2D symbology that can be scanned by handy terminals such as a smartphone. The capacity of QR Code is up to 7000 digits or 4000 characters and has high robustness.
|-
|[https://iron.eiffel.com/repository/20.05/package/9619DCEA-F6D5-41C9-9256-B52DBC389436 wrap_libgit2]
|libgit2 is a portable, pure C implementation of the Git core methods provided as a re-entrant linkable library with a solid API, allowing you to write native speed custom Git applications in any language which supports C bindings.
|-
|[https://iron.eiffel.com/repository/20.05/package/ACF5FAB2-A405-42D0-8D46-137B3E1E901B wrap_gsl]
|The GNU Scientific Library (GSL) is a collection of routines for numerical computing.
|-
|[https://iron.eiffel.com/repository/20.05/package/9EBBF105-A717-4403-BFF7-BE26D28B0ADC wrap_tidy]
|Libtidy is a C static and dynamic library that developers can integrate into their applications in order to bring all of HTML Tidy's power to your favorite tools. libtidy is used today in desktop applications, web servers, and more.
|}

===Bug fixes===
* EiffelStudio: When forcing the reload of current editor (Ctrl-R), open a confirmation dialog if file is modified.
* EiffelStudio: Fixed display of variables and type mappings in project settings.
* EiffelStudio: Improved the code completion popup dialog (filter, Unicode, ...)
* library (feed): Improved RSS2 and ATOM implementation for validation.
* library (xml): Escape any non ASCII character.
* compiler: test#final134 — Fixed a bug that may cause memory corruption in finalized mode when a feature with an argument of a reference type has a single instruction with a single call which is instance-free and uses the argument.
* compiler: test#exec347 — Fixed a bug that might cause memory corruption or a crash if the application uses a feature argument as an anchor without using the argument value.
* EiffelStudio: Fixed bugs causing clickable formats to report an error when restricted or symbolic forms of loops are used.
* EiffelStudio: Fixed rendering of symbolic forms of loops in a clickable format and stepping through them in the debugger.
* compiler: bug#19647 (test#attach129) — Fixed a bug that might cause a self-initializing attribute of an attached type to remain void if it is not properly set by a creation procedure, has body, and the body does not set result to non-void value.
* compiler: bug#19637 (test#syntax075) — Fixed a bug that prevented from using multiple feature aliases in renaming.
* compiler: Fixed a potential bug when a wrong type can be computed for tuples, arrays, conditional and multi-branch expressions with mutual nesting.
* EiffelStudio: Fixed a bug when non-existing class options were checked against computed class options rather than explicitly specified ones that caused errors when a class from a parent cluster had options (sample scenario: compile cURL, open <e>CURL_CODES</e> in the editor, and recompile: the class could not be found in nested clusters).

===Features removed===
* library (base): Marked <e>{READABLE_STRING_GENERAL}.plus</e> as obsolete to avoid potential data loss when precondition of the feature is not maintained.

===User changes===
* library (base): Changed behavior of <e>{CHARACTER_8}.to_lower</e> and <e>{CHARACTER_8}.to_upper</e> (as well as versions for <e>CHARACTER_8_REF</e>), as well as property queries, to interpret characters with codes 128-255 according to ISO 8859-1.
* library (base): Renamed <e>{READABLE_STRING_GENERAL}.plus</e> in descendants and added sized variants of feature <e>plus</e> to sized variants of strings.
* library (base): Added the following implicit conversions:
** <e>IMMUTABLE_STRING_8</e> → <e>READABLE_STRING_32</e>;
** <e>IMMUTABLE_STRING_GENERAL</e> → <e>IMMUTABLE_STRING_32</e>, <e>READABLE_STRING_32</e>, <e>STRING_32</e>;
** <e>READABLE_STRING_GENERAL</e> → <e>IMMUTABLE_STRING_32</e>, <e>READABLE_STRING_32</e>, <e>STRING_32</e>;
** <e>STRING_GENERAL</e> → <e>IMMUTABLE_STRING_32</e>.
* compiler: Changed the list of expressions that are allowed to be used in object tests without an explicit type, e.g. <e>Current</e> cannot be used anymore, because it is always attached and most probably such an expression indicates an error, and allowed to use any expression in an object test as soon as there is an explicit type.

===Developer changes===
* library(curl): better error message.
* library(curl): added SFTP example.
* library(gobo): updated to Gobo 19.11

EiffelStudio 19.11 Releases

2019-07-31T17:53:55Z

Alexander Kogtenkov: /* Bug fixes */ Added a note about fixing bug#19596 (test#scoop083).

[[Category:Releases]]__NOTOC__{{ReleaseHistoryHeader}}

__NOTOC__

= EiffelStudio 19.12.x Releases=

Beta download: https://ftp.eiffel.com/pub/beta/

== 19.12.10.3842 (December 30th 2019, beta 19.12) ==

===New features===
* compiler: Supported multiple aliases of the same feature.
* compiler: Added a new validity rule for duplicate alias names specified for the same feature.
* compiler: Added a command-line option to set a preference value: <code lang="text">-preference name value</code>.
* compiler: Added a preference to control processing of new lines when pretty printing:
** keep — keep line breaks unchanged;
** wrap — wrap long constructs (such as expressions) if they do not fit a given line length limit (not supported yet);
** inline — format long expressions on a single line
* compiler: Added a preference to control processing of loops when pretty printing:
** keep — keep loop style unchanged;
** keyword — use keyword-based notation;
** symbolic — use symbolic notation if possible.

===Improvements===
* library (base): Added features <e>TUPLE.real_32*</e> and <e>TUPLE.real_64*</e>.
* EiffelStudio: Supported auto completion for aliases by providing a list of suitable Unicode operators.
* EiffelStudio: Added a new dialog to insert (Unicode) symbols with activation by <code lang="text">Ctrl+Alt+Space</code>.
* tool (eiffel): Added an option (short version: <code lang="text">-o</code>, long version: <code lang="text">--executable-output</code>) to control how output of the executable is processed.
* library (preferences): Supported selection of a single value in a choice preference.

===Bug fixes===
* EiffelBuild: Fixed regressions (various exceptions) occurring related to value changes and pick-and-drop behavior.
* library (Vision2 demo): Avoided crashing during execution (caused by removal of dead code reachable through reflection).
* tool (eiffel): Prevented compilation of a system with multiple targets unless the required one is specified.
* EiffelStudio: Corrected import of the settings from <code lang=text">.ini</code> files.
* library (net): Ensured <e>{SOCKET}.last_string.count</e> has the expected value when using <e>{SOCKET}.read_stream</e>.
* tool (finish_freezing/espawn): Made the detection of C compiler on Windows more robust.
* library (eiffelweb/wsf): Corrected default value of <code lang="text">SERVER_PORT</code> for HTTPS connection to be 443.
* EiffelStudio: Fixed display of the hidden toolbar items.
* compiler: test#valid082, test#valid083 — Fixed validity checks for export status of operators by using current class rather than target one.
* compiler: test#term218 — Fixed computation of a common ancestor type to avoid an infinite loop when one of element types is a mark-free formal generic type.
* library (base): Removed redefinitions in implementations of <e>CURSOR_TREE</e> that violated VDRS(4) because a feature was effected rather than redefined.
* compiler: bug#19596 (test#scoop083) — Fixed a bug that might cause a SCOOP program to crash when a separate call is passed an address of a variable.

===Features removed===

===User changes===
* EiffelStudio: reorganized and simplified the breakpoint context menu
* EiffelStudio: the version update checker is using the new notification system.

===Developer changes===
* compiler: Removed support for <e>infix</e> and <e>prefix</e> features.
* library(eiffelweb/wsf): Improved WSF_FILE_SYSTEM_HANDLER to redirect "/subdir" on directory to "/subdir/" so that relative URLs are correctly handled.
* library(eiffelweb/wsf): Improved the CGI handler from wsf_extension.
* compiler: Reordered <code lang="text">VFAV</code> rules to match most recent version of the standard.

== 19.09.10.3472 (September 10th 2019, beta 19.08) ==

===Bug fixes===
* EiffelStudio: Fixed a bug causing an exception when showing a context menu.

== 19.08.10.3451 (September 2nd 2019, beta 19.08)==

===New features===
* EiffelStudio: Added a first version of a dialog to insert a Unicode symbol.

===Improvements===
* EiffelStudio: Recorded acceptance of a GPL license immediately, so that the next instance of EiffelStudio does not repeat the licensing question even when the first one is still running.
* library (base): Changed signature of <e>{IO_MEDIUM}.put_string</e> and associated features to accept <e>READABLE_STRING_8</e> instead of <e>STRING_8</e>.
* library (api_wrapper): Supported non-ASCII library names.

===Bug fixes===
* EiffelBuild: Fixed a bug that caused an exception when editing text value of a field.
* EiffelBuild: Fixed a bug that caused an exception when loading a project that was moved from its original folder.

===Features removed===

===User changes===
* library (base): Marked <e>{READABLE_STRING_GENERAL}.as_string_8</e> as obsolete to avoid hidden conversion from 32-bit strings to 8-bit ones and from immutable 8-bit strings to mutable ones.
* library (base): Marked <e>{INTERNAL}.type_name</e> as obsolete with a suggestion to use <e>type_name_32</e> instead.

===Developer changes===

== 19.07.10.3368 (July 31st 2019, beta 19.07)==

===New features===
* compiler: Added support for manifest immutable strings, once manifest immutable strings, and immutable string constants. Examples: <code>{IMMUTABLE_STRING_32} "Unicode string..."</code>, <code>once {IMMUTABLE_STRING_8} "once value"</code>, <code>id: IMMUTABLE_STRING_8 = "abc"</code>.

===Improvements===
*compiler: test#valid297, test#valid298 — Changed rules how export status of features is computed to follow the standard to avoid CAT calls: a feature could be made available only to more classes, not fewer.

===Bug fixes===
* editor: bug#19527 — Fixed issue with verbatim strings followed by a character.
* editor: bug#19527 — Fixed editor issue with manifest strings ending with <code>%%</code> such as <code>"foo%%"</code>.

== 19.06.10.3318 (July 1st 2019, beta 19.06)==

===New features===
* compiler: bug#17597 (test#syntax065) — Supported non-decimal character codes in manifest strings, so that decimal <code>%/8704/</code>, hexadecimal <code>%/0x2200/</code>, octal <code>%/0c21000/</code> and binary <code>%/0b0010001000000000/</code> can be used in a manifest string, e.g. <code>{STRING_32} "for all %/0x2200/"</code>.
* library (base): Added a class <code>DYNAMIC_TABLE</code> with a feature <code>remove</code> that is implemented by descendants supporting removal of table items. In particular, <code>ARRAYED_LIST</code> redeclares it as <code>remove_i_th</code> that is more efficient than a sequence of calls to features <code>goto_i_th</code>, <code>remove</code>.
* library (base): Added Unicode aliases <code>∋</code>, <code>⊆</code> and <code>⊇</code> to features <code>has</code>, <code>is_subset</code> and <code>is_superset</code> respectively in descendants of classes <code>SET</code> and <code>SUBSET</code>.

===Developer changes===
* library (preferences): Removed previous duplication with preferences_xml.ecf and preferences_reg.ecf that was causing conflicts. Now the default preferences storage is XML, except on Windows where it is Registry keys. And it is possible to override that default for Windows, using the custom variable <code lang="xml"><custom name="pref_default_storage" value="xml"/></code>.
* library (EiffelWeb): Improved the simple WSF proxy component with support for X-Forwarded-For ..., and Forwarded header.

EiffelStudio 19.05 Releases

2018-12-12T12:41:14Z

Alexander Kogtenkov: /* 19.05.10.3187 (May 21st 2019, beta 19.05) */ Removed empty sections.

[[Category:Releases]]__NOTOC__{{ReleaseHistoryHeader}}

__NOTOC__

= EiffelStudio 19.05.x Releases=

Beta download: https://ftp.eiffel.com/pub/beta/

==19.05.10.3187 (May 21st 2019, beta 19.05)==

===Bug fixes===
* compiler: test#exec374 — Made sure that features <e>is_deep_equal</e>, <e>is_equal</e> and <e>standard_is_equal</e> for real numbers work the same way as equality tests.

===Developer changes===
* compiler and run-time: test#final130, test#final131, test#final132 — Ensured that an object of a class that has been removed due to dead code removal cannot be created via reflection, deserialization or storable facilities.

==19.05.10.3131 (May 06th 2019, beta 19.04)==

===New features===
* studio: Added "Symbols" panel in feature completion dialog (in addition to features, and templates), it lists all available Unicode symbols.
* studio: Added "Update manager" to handle EiffelStudio update notifications of new releases (beta|stable).
* library (uri): Added support for IDNA (Internationalized Domain Names in Applications), using Punycode encoding.
* library (scoop_patterns): Added an example to demonstrate CP_SED_CONTAINER which adds a simple solution to copy an object from a scoop processor to another using SED facilities.
* library (base): Added features to <e>REAL_32</e> and <e>REAL_64</e> to perform comparison compliant to the standard IEEE 754 (the feature names start with <code lang="text">ieee_</code>, e.g. <e>ieee_is_less</e>).

===Bug fixes===
* compiler: bug#16555 (test#final088) — Fixed a bug that caused missing void target checks when inlining in finalized mode was enabled.
* compiler: Fixed minor issues with capabilities settings when manually edited, and capability comes before option declaration.
* wizards: Fixed EiffelWeb wizard execution that was hanging EiffelStudio.
* compiler: Fixed AST character position for Unicode operator (issue raised when the token has only one Unicode character).
* compiler: test#exec374 — Made sure comparison of REAL numbers works the same way for classic and .NET mode.
* compiler: test#exec374 — Corrected code generation for REAL numbers to handle total order as well as IEEE 754 standard as expected.

===User changes===
* compiler: Added a warning <code lang="text">VD81</code> for compiling a project when the setting for total order on reals is disabled. {{Recommended | Existing projects should be updated to enable total order on reals because otherwise they will be flagged with an error in the future releases.}}
* compiler: Unless specified otherwise (explicitly, or implicitly when using project configurations created by an earlier version of EiffelStudio), the setting for total order on reals is enabled by default.

===Developer changes===
* run-time: Replaced <code lang="C">sys_siglist[sig]</code> by <code lang="C">strsignal(sig)</code> to allow compiling the run-time on wider set of platforms.
* library (base): Used built-in feature instead of external ones in <e>ISE_RUNTIME</e>, <e>REFLECTED_COPY_SEMANTICS_OBJECT</e>, <e>REFLECTOR</e>.
* run-time: Added macros for built-in features for <e>ISE_RUNTIME</e>, <e>REFLECTED_COPY_SEMANTICS_OBJECT</e>, <e>REFLECTOR</e>.
* compiler: Made settings dependent on ECF schema version.

==19.05.10.3044 (April 02nd 2019, beta 19.03)==

===New features===

* compiler: Added a new dead code removal level, now there are 3 possible variants of the optimization:
** none — code removal is not performed;
** feature — code removal is based on feature call graph analysis;
** all — in addition to the feature call analysis, only classes that are used as targets as object creation or marked as visible are kept in the system.

===Bug fixes===
* compiler: bug#15876 (test#final081) — Fixed a bug causing compiler crash when compiling code a redeclaration of an external feature into a constant in finalized mode with inlining.
* compiler: bug#17957 (test#final111) — Fixed a bug causing incorrect behavior at run-time for a non-object call on a qualified anchored type with a formal generic when inlining is enabled is finalized mode.
* compiler: bug#19532 (test#final127) — Fixed a bug causing an object call to a wrong feature in finalized mode when the original feature is an external one.
* compiler: bug#15853 (test#exec313) — Fixed a bug causing a non-object call to a wrong feature on the type <e>like Curent</e> in finalized mode when the original feature is an external one.
* compiler: bug#19507 (test#scoop082) — Fixed a bug causing incorrect C code generation for a separate instruction in a feature without arguments triggering C compilation errors under certain conditions.
* compiler: test#final045 — Fixed a bug that caused the compiler to terminate with an exception when finalizing code after incremental changes in the buggy source code using formal generics' creation constrains combined with renaming.
* studio: bug#19531 Fixed metrics tool by ensuring class browser set the 3rd column text only if it exists.

==19.05.10.2945 (March 08th 2019, beta 19.02)==

===New features===
* Added the possibility to insert unicode symbols using the IDE feature completion (see $ISE_EIFFEL/eifinit/unicode_symbols.cfg).
* New <e>EXECUTION_ENVIRONMENT.temporary_directory_path</e>.
* New feature <e>FILE.make_open_temporary(_with_prefix)</e> to create temporary file or folder. This should be used to replace obsolete <e>FILE_NAME.make_temporary</e>.
* Dead code removal detects when instances of classes are not created and removes code associated with them. If a class should be part of the system because it is created indirectly (using reflection or storable mechanism), it should be marked as visible in the project configuration. With this option, executable size becomes 10% smaller on average (on Windows).

===Improvements===
* Optimized code generation in finalized mode for feature calls by considering polymorphic status of calls to routines and attributes separately.

===Bug fixes===
* library (json): REAL NaN, Negative and Positive Infinity values are serialized as "null" (as JSON has no support for such values)
* compiler: consider that empty value or unset environment variables represent the same value for ecf variables.
* compiler: bug#17331 (test#once021) — Fixed a bug causing unresolved symbols at link time when a once-per-object calls a precursor with a formal generic return type.
* compiler: bug#15874 (test#final080), bug#18012 (test#final113), test#final124 — Fixed a bug that led to ignoring an attribute body when inlining in finalized mode was enabled.
* compiler: bug#19520 remote parent target is not readonly.
* compiler: bug#16951 (test#incr368), bug#17257 (test#incr403), bug#17305 (test#incr410), bug#17308 (test#incr412) — Fixed a bug causing incorrect recompilation for code involving qualified anchored types.

===User changes===
* Added output of classes that are empty or removed to the file <code lang="text">REMOVED</code> in finalized mode.

===Developer changes===
* Updated contrib/library/gobo to Gobo v4.3 . {{Red|*WARNING:* you may need to add to your ecf file the libraries <code lang="text">gobo_(lexical|parse)_skl.ecf</code>, in addition to <code lang="text">gobo_(lexical|parse)</code>.}}

==19.05.10.2756 (February 01st 2019, beta 19.01)==

===New features===
*EiffelStudio (error): Added an automated fix for violation of <code lang="text">VDRS(4)</code> that removes the associated feature name from the corresponding subclause <e>redefine</e>.
*library (base): Added creation procedures <e>make_open_temporary</e> and <e>make_open_temporary_with_prefix</e> to the class <e>FILE</e> to create temporary files.
*library (base): Added class features <e>null_path</e> and <e>null_name</e> to the class <e>FILE</e>.
*library (OpenSSL): Added TLSv1.3 support, added creation procedures <e>make_as_tls_server</e> and <e>make_as_tls_client</e> to the class <e>SSL_CONTEXT</e> to create flexible TLS capable server/client context, the supported protocols are SSLv3, TLSv1, TLSv1.1, TLSv1.2 and TLSv1.3.
*library (EiffelNetSSL): Added features <e>set_options</e> to change the SSL ctx options as defined here [https://www.openssl.org/docs/man1.1.1/man3/SSL_CTX_set_options.html SSL_CTX_set_options] and <e>clear_options</e> to clear CTX options, <e>set_max_protocol_version</e>, <e>set_min_protocol_version</e>, <e>max_proto_version</e> and <e>min_proto_version</e> for configured version or 0 for auto-configuration of highest/lowest protocol to the class <e>SSL_SOCKET</e>.
*library (WEL): Added features <e>dpi_for_monitor</e> to get dots per inch (dpi) of a display and <e>set_process_dpi_awaerness_per_monitor</e> to class <e>WEL_API</e>
*compiler: Workbench C code is not generated when performing finalized compilation.

===Improvements===
* EiffelStudio (error): Provided location for violations of <code lang="text">VDRS (4)</code>.
* EiffelStudio (error): Supported a possibility to open all classes that are fixed automatically in the editor and to remember this choice for all subsequent fixes. The setting is also available in the preferences.
* EiffelStudio (dpi): Added basic support for high dpi only on Windows.
* Library (wikitext): accepts absolute path in external wiki link (such as [/path/to/page a page]).
* Debugger: extended support for local variable stone in relation with the debugger.

===Bug fixes===
* library (logging): Fixed a C compiler warning for the call to the feature <code lang="C">syslog</code> that might lead to potential vulnerability if a message has embedded format specifiers.
* compiler: bug#19437 (test#free025) — Fixed a bug preventing validity checks for class status of features used in unqualified calls in arguments to qualified calls inside a class feature (<code lang="text">VUCR</code>).
* compiler: bug#19502 — Fixed a bug with checking target dependency in project settings (ECF) when only the first occurrence of a target was checked though some other dependencies could be invalid instead.
* compiler: test#valid019, test#valid233, test#vdrs401, test#vdrs402, test#vdrs403 — Added missing checks for <code lang="text">VDRS(4)</code> when a deferred feature listed in the redefine subclause is effected or merged rather than redefined. {{Red|This may trigger <code lang="text">VDRS(4)</code> errors for existing code. The automatic fix associated with the bug report is backward compatible with previous versions of EiffelStudio and can be safely applied.}}
* EiffelStudio: Avoided a crash when all editors are closed during the first compilation of a project.
* Compiler: fixed compilation with remote target and no root class.
* EiffelStudio: fixed regression on features tool, when toggling signature display.
* EiffelStudio: fixed issue on gtk (linux, ...) with code completion that was not focusing back to the editor.

===User changes===
* library (vision): Removed references to the obsolete class <e>EV_CURSOR</e>, and moved conversion between <e>EV_CURSOR</e> and <e>EV_POINTER_STYLE</e> completely to <e>EV_CURSOR</e>.
* library (base): Marked the class <e>FILE_NAME</e> as obsolete use class <e>PATH</e> instead