Rodin Platform 3.10 Release Notes
What's New in Rodin 3.10?
Rodin 3.10 brings several bug fixes. It also upgrades the underlying Eclipse to 4.38 (2025-12), which can be run by Java 21 Runtimes.
Please note that we only provide 64-bit binary versions of the Rodin platform.
Changes for plugin developers
Rodin 3.10 is built on top of Eclipse 4.38 (2025-12), which requires Java 21.
Installing
Downloading
Upgrading from a previous version of Rodin 3.x
If you are running Rodin 3.1, 3.2, 3.3, 3.4, 3.5, 3.6, 3.7, 3.8, or 3.9, you can upgrade your Rodin Platform by clicking Help > Check for Updates, selecting Rodin 3.10 in the pop-up window, and accepting the license terms. Note that the upgrading process can take quite a long time.
Take care that Rodin 3.10 brings a new version of Eclipse. This means that once you have opened a workspace in Rodin 3.10, you will no longer be able to open it in a prior version of Rodin. Please consider copying your workspace for Rodin 3.10 to avoid any disaster.
If you are running Rodin 3.0 or earlier, you cannot upgrade to 3.10. You need to download the platform from SourceForge and reinstall your external plugins
Requirements - Compatibility
Supported operating systems
Rodin will work on the following operating systems
- macOS 64-bit
- Linux 64-bit
- Windows 64-bit
Java Runtime requirement
You need to have a 64-bit Java JRE (version 21 or later) installed on your computer. The Rodin application will not work with a previous version or with a 32-bit JRE.
macOS-specific requirements
For macOS, Rodin is available for both Intel (x86_64) and Apple Silicon (aarch64) architectures.
Please note that the SMT Provers plug-in is not yet available for Apple Silicon. If you need this plug-in, you must install the Intel version of Rodin for macOS together with an Intel-compatible JVM. Support for Apple Silicon is planned before the end of Rosetta support in macOS 28.
The Rodin application is not currently notarised. As a result, when downloaded from SourceForge, macOS may quarantine the application and report it as damaged or unable to be opened.
To remove the quarantine attribute, open a Terminal and run the following command:
xattr -rc Rodin.app
