EiffelStudio / News: Recent posts

We are pleased to announce the availability of EiffelStudio 19.05.

The highlights are:

• Several code-generation and run-time bugs are fixed.
• The Workbench C code is not generated anymore during finalized compilation, this makes deployment faster, using less disk space.
• During dead code removal, the compiler can now remove instances of classes if not used by the system. On average, the executable size becomes 10% smaller (see the release notes for more details).
• New ieee_... features are added to the REAL_* interfaces to perform comparison compliant with the IEEE 754 standard. Also the support for total order on reals is improved.
• Using the feature completion functionality of the EiffelStudio editor, it gets easy to insert unicode operator such as intersection ∩. Associated with alias name, it makes possible to express mathematical expression with such an operator.
• The Windows version of EiffelStudio has now a basic support for HiDPI resolution.
• EiffelStudio will notify version update to the user whenever there is a new stable or beta release available.
• Plus numerous improvements across the libraries (new IDNA support in URI, specific handling for REAL NaN values in json library, OpenSSL and EiffelNetSSL were updated to make easier the usage of secured protocols, ...)... read more

We are pleased to announce the availability of EiffelStudio 18.07.

The highlights are:

• The rules for class features were relaxed. Re-declaration into or joining with a class feature is valid as soon as combined assertions satisfy the class feature conditions. A non-static external and constant feature automatically gets a class post-condition if its contracts do not involve constructs that can access Current object .
• Updated the Eiffel grammar to support bracket expressions as bracket targets (such as table[x][y][z])
• Supports detection of VHPR(5) violations for arbitrary ancestors, not just for immediate parents. This may be a breaking change for classes that inherit different generic derivations of the same class.
• Extended sets of constructs checked by some default rules of the code analyzer and made sure the checks do not trigger false positives.
• The execution parameters can be automatically loaded from the default file saved from a previous execution session (this way, an Eiffel project can have default execution parameters).
• The auto completion behavior got slightly improved and the associated dialog accepts single-clicking behavior.
• It is now possible to extend a project target from a different project (ECF).
• Plus numerous smaller improvements across the environment and the technology.... read more

We are pleased to announce the availability of EiffelStudio 14.05.

The release notes are available at https://docs.eiffel.com/book/eiffelstudio/release-notes-eiffelstudio-1405

The major highlights of this release are:
* Eiffel Inspector
* Automatic Fixing
* Support for Raspberry PI
* Various improvements and bug fixes.

Happy Eiffeling!
The Eiffel Software Team

We are pleased to announce the new release of EiffelStudio 13.11, now available for download at http://www.eiffel.com/downloads/.

The first visible change is the version number. From now on, we will use as major revision the last 2 digits of the current year (13 for 2013), and as minor revision the month of the release (11 for November). Next release will therefore be 14.05 as it is scheduled for May 2014.... read more

EiffelStudio 7.1 is available for download. This version contains an improved SCOOP manager to remove some restrictions of the first release of SCOOP in 7.0. It also includes a revamped Eiffel Information System tool. It adds support for GTK 3.4 and its HTML5 back-end. In addition it has many small improvements to make EiffelStudio easy to use and we started to include more and more external contributions to EiffelStudio such as the Eiffel Web Framework... read more

EiffelStudio 7.0 is available for download. This version contains major improvements in the areas of concurrency via the SCOOP technology as well as void-safety by making it easier to migrate to void-safe code. In addition it has many small improvements to make EiffelStudio easy to use and we started to include more and more external contributions to EiffelStudio.

Happy Eiffeling,
The EiffelStudio Team

Release candidate of EiffelStudio 6.8 which includes the following new features: SCOOP (our Simple Concurrent Object-Oriented Programming technology), ability to attach a running process to the EiffelStudio debugger, improved EiffelStore library and MySQL handle, various compiler and EiffelStudio bug fixes.

Happy Eiffeling,
The Eiffel Software Team

Some SCOOP releated issues have been fixed. An issue on some Unix systems about not being able to delete a directory containing symbolic links that cannot be resolved was also fixed. The drawing of tree connector in EV_GRID was fixed.

Happy Eiffeling,
The EiffelStudio Team

This is the first beta release of EiffelStudio 6.8.

We are bringing support of SCOOP (Simple Concurrent Object-Oriented Programming) for Windows and Linux platforms; support for other platforms will follow; current implementation is only for frozen and melted code; finalization support will come soon.

Other highlights include:
* Various refresh and resizing issues have been fixed in EiffelVision for Windows.
* Our graphical libraries have been improved to accept as input IMMUTABLE_STRING_XX without having to perform a conversion.
* Added support for OpenBSD on 64-bit.
* A crash while performing a global renaming of a class was fixed.
* Various compiler bugs were fixed. ... read more

We are pleased to announce EiffelStudio 6.7.

The highlights of this release are:
- Unicode support at the class text level, i.e. one can write a Unicode manifest string or a Unicode comment.
- Support of GCC as a backend C compiler on both 32-bit and 64-bit windows.
- Bug fixes in the area of qualified anchored types, incrementality, once per object.

You can read the release notes at:
http://doc.eiffel.com/book/eiffelstudio/release-notes-eiffelstudio-67... read more

This is the beta release of the forthcoming 6.7 release. Many incrementality bugs have been fixed. We have fixed some issue with the new Eiffel tracing mechanism related to the GC because variables where not always protected. Support for Unicode was improved especially for saving files.

Happy Eiffeling,
The EiffelStudio Team

The first implementation of the WEAK_REFERENCE class is now available only for classic mode. Support of type checking of separate entities for SCOOP was added although there is not yet support for code generation. An optimization of {SPECIAL}.fill_with and {SPECIAL}.force was implemented making those calls much faster. On Windows platform, we are now using gcc version 4.4.5 on both 32 and 64-bit system. Some incrementality, Unicode parsing, once per objects and various other bugs have been fixed.... read more

Fixed a recent incrementality bugs introduced at the 6.7.8.4135 release.
Fixed some other long standing incrementality issues.
Fixed an issue with not being able to use the various Microsoft SDKs as backend C compiler in the previous 6.7 releases.

Happy Eiffeling,
The EiffelStudio Team

Added a new tracing facility that can call back Eiffel code each time the code enter/exit a routine.

Otherwise, this is mostly a bug fix release with some incrementality bugs fixed. See http://dev.eiffel.com/EiffelStudio_6.7_Releases for more details.

Happy Eiffeling,
The EiffelStudio Team

This is the first intermediate release of 6.7. It fixes many issues with the new QAT and once per object features introduced in 6.6. Some other bug fixes and improvements. Support for UTF-8 parsing.

Happy Eiffeling,
The EiffelStudio Team

We are pleased to announce the release of EiffelStudio 6.6. You will find below a summary of what 6.6 brings.

Happy Eiffeling,
The EiffelStudio Team

== What's new ==
* EiffelStudio: Added the parent clauses of a class in the "Features tool" making it easier to navigate/edit parent classes.
* Compiler: Added support for new once syntax and once per object.
* Compiler: Added support for RAT/QAT, with the following limitations:
- Qualified anchored types that involve formal generics with multiple constraints are not supported.
- Creation and object tests with the type depending on qualified anchored types that involve deferred intermediate types are not supported on .NET.
* Compiler: 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.
* Compiler: 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.
* Compiler: 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
* AutoTest: Added tool for displaying the result details of a single test execution.
* AutoTest: Added tool for comparing the current testing results to a previously exported set of results, highlighting tests for which the latest execution revealed a different result.
* AutoTest: Changed AutoTest Tool to store testing results permanently, and added the ability to export results to a text file.
* Libraries: Added ability to traverse most containers in EiffelBase using the new iteration (across) form of the loop construct.
* Libraries: Added a new feature trim to the RESIZABLE class and its decendants to allow for minimizing the allocated storage.
* Libraries: Added support for correct mismatch in the SED serialization cluster.... read more

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.... read more

This is the first pre-release of EiffelStudio 6.6.

We added a new construct: the `check' statement which can be useful in void-safe mode which is like a check compound except that even if assertions are disabled and the assertion is false, you still get a check violation.

We have redone our runtime multithreading and solved a few synchronization issues when threads have a very short lifespan and that you create many of them. Also we have prevented some deadlock in the runtime if a thread is killed outside the Eiffel environment. ... read more

This is the final release of EiffelStudio 6.5. This version fixes some issues with STRING not updating its hashcode in `remove_substring', a C compilation error after a finalization, some various issues with AutoTest and the debugger. Fixed a CECIL issue and a compatibility issue with old storables that could not be retrieved in 6.5.

Happy Eiffeling!
The EiffelStudio Team

This is the second release candidate for EiffelStudio 6.5. This version fixes some issues with the .NET compiler, EiffelBuild and the C store/retrieve mechanism.

Happy Eiffeling,
The EiffelStudio Team

This is the release candidate for EiffelStudio 6.5. This version adds compiler support for the new loop construct although no library support has been added yet. Numerous compiler bugs have been fixed: proper handling of attached type in conversions, compile time catcall checker crash, creation of manifest arrays in void-safe mode triggering a precondition violation, full type checking issues, proper code generation for `{ANY}.generating_type' in experimental mode under .NET, proper retrieval of SPECIAL objects in experimental mode. Some issues with the saving/restoring of EiffelStudio layout were fixed.... read more

This is a major bug fix release (about 200 bugs have been fixed since the last intermediate release). In addition, we have added the "+" operator to READABLE_STRING_GENERAL, removed the need for the `wel_hook.dll' for pick and drop in all vision2 applications on Windows.

Happy Eiffeling,
The EiffelStudio Team

The EiffelBase extension library was added to the EiffelStudio delivery. This library provides a new class SEARCH_TABLE which is basically a set where items are HASHABLE, and some new sorting facilities for classes descendants of INDEXABLE. A few assertion violations and infinite loops with PART_SORTED_SET and BINARY_SEARCH_TREE_SET were fixed. Various EiffelStudio bugs were fixed. `clear_all' in STRING classes and HASH_TABLE has been made obsolete in favor of `wipe_out'. A behavior change in STRING.resize was done which prevents from calling `resize' with a size smaller than the current size of the string. Simplify automatic licensing of Eiffel classes by simply having a license.lic file next to the Eiffel Configuration File (ECF).... read more

Added the ability to see the C compilation warnings/errors in the error list of EiffelStudio (instead of just seeing a generic C compilation error). Changed a few things in AutoTest (the new name of the Eiffel Testing Framework). Changed the return type of `generating_type' in ANY from STRING_8 to TYPE [like Current]; existing code should still compile thanks to a conversion from TYPE to STRING_8. Fixed a lot of small bugs reported over the year by users.... read more

A new major milestone of EiffelStudio is now available for download. This version includes new version of our libraries that are void-safe; due to the breaking changes they might bring, they are not yet the default. To use them, you have to use the experimental version of EiffelStudio.

You can find more about the 6.4 release at:
http://doc.eiffel.com/book/eiffelstudio/release-notes-eiffelstudio-64

Happy Eiffeling,
The EiffelStudio Team