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