Event-B - User contributions [en-gb]

Rodin Platform 3.8 Release Notes

2023-04-04T12:00:33Z

Idir: /* Changes for plug-in developers */

== What's New in Rodin 3.8? ==

Rodin 3.8 brings several bug fixes. It also upgrades the underlying Eclipse to 4.23 (2022-03), which can be run by Java 11 Runtimes.

Please note that we only provide 64-bit binary versions of the Rodin platform.

=== Changes for plug-in developers ===

Rodin 3.8 is built on top of Eclipse 4.23 (2022-03), which requires Java 11.

== Installing ==

=== Downloading ===

[http://sourceforge.net/projects/rodin-b-sharp/files/Core_Rodin_Platform/3.8/ Download Rodin 3.8 now !]

=== Upgrading from a previous version of Rodin 3.x ===

If you run Rodin 3.1, 3.2, 3.3, 3.4, 3.5, 3.6 or 3.7, then you can upgrade your Rodin Platform by clicking Help > Check for Updates, then select Rodin 3.8 in the popup window and accept the licence terms. Note that the upgrading process can take quite a long time.

Take care that Rodin 3.8 brings a new version of Eclipse. This means that once you have opened a workspace with Rodin 3.8, you will not be able to open it with a prior version of Rodin anymore. Please consider copying your workspace for Rodin 3.8 to avoid any disaster.

If you run Rodin 3.0 or prior, you cannot upgrade to 3.8. 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 11 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 ===

The Rodin application is not notarized. This means that when you download it from SourceForge, macOS will quarantine the application and tell you that it is broken. Just run the command <code>xattr -rc Rodin.app</code> in a Terminal to remove the quarantine tag.

=== Linux specific requirements ===

Package <code>libc6-amd64:i386</code> must be installed, in particular in order to run external prover binaries depending on the distribution, you could instead need these packages: <code>lib32z1</code>, <code>lib32ncurses5</code>, <code>lib32bz2-1.0</code>.

=== Windows specific requirements ===
Atelier B provers may work more slowly; it can cause ML to not automatically discharge some sequents that it discharges on windows 32-bit, due to its timeout. A workaround is to download a custom profile: [http://sourceforge.net/projects/rodin-b-sharp/files/DefaultAuto_ML800 DefaultAuto_ML800], then Window > Preferences > Event-B > Sequent Prover > Auto/Post Tactic > Profiles (tab) > Import..., point to the downloaded file, 'Select All' profiles (there are 2), OK. Then in 'Auto/Post Tactic' tab, select 'Default Auto Tactic Profile (ML 800)' profile for auto-tactics. It is the same as the 'Default Auto Tactic Profile', except ML has a longer timeout (800 ms). You can of course change this timeout by editing the 'ML (800)' profile.

We have not noticed this problem for Linux 64-bit, nor for other platforms; however if you do, the same workaround applies.

=== Math fonts ===

To enhance your proving experience, the eclipse font settings (size, aspect...) are available from the preferences (General > Appearance > Colors and Fonts > Rodin). These settings allow you to modify the properties set on the Event-B Keyboard Text Font which is used in many views of the Proving UI. However, to enjoy these functionalities, you need to install the Brave Sans Mono font on your system. You can download this font from the link [http://sourceforge.net/projects/rodin-b-sharp/files/Font_%20Brave%20Sans%20Mono/0.12/ here].

== Fixed Bugs and Implemented Features ==

Bugs
701 Translation occurs unexpectedly
778 Bad presentation of tactic profiles
802 refresh Project Explorer
803 rule DATATYPE_INDUCTION is unsound
804 FormulaExtensionProviderRegistry does not catch exceptions
805 IAE when loading proof
806 Missing UI indicator when running post tactic
807 Proof information view text cut off
809 store options files in binary plug-ins
811 hypothesis text cut off after instantiation input
812 dropdown arrow invisible in Event-B editor on macOS
813 Missing translation in input area of Proof control
814 ArrayIndexOutOfBounds when typing extended predicates
816 ConcurrentModificationException in editor
817 Exception when using external provers with theory...

Feature Requests
170 Bijection and cardinality
292 Make FiniteHypBoundedGoal smarter
339 Add auto tactic for not empty set
343 Generalized Modus Ponens on natural integers
342 Generalized Modus Ponens on Boolean expressions
365 Proof rule for finiteness of generalized union
367 extend IParent in ISCContext
371 apply equality and hide it
372 Proof by case on union membership
376 Min and max definitions
377 Apply modus ponens after instantiation
382 Get free identifiers from a type environment

== Known Issues ==
See [http://sourceforge.net/p/rodin-b-sharp/bugs known bugs on SourceForge].

=== Rodin is not notarized ===

Apple asks that all applications are notarized before they can be run since macOS Mojave. Unfortunately, we did not have time to put this in place for Rodin 3.8. We expect this to be solved for Rodin 3.9. See [[#macOS_specific_requirements|macOS requirements]] for a workaround.

== About ==

TODO

[[Category:Rodin Platform Release Notes]]

Rodin Platform 3.8 Release Notes

2023-04-04T07:19:43Z

Idir: /* Fixed Bugs and Implemented Features */

== What's New in Rodin 3.8? ==

Rodin 3.8 brings several bug fixes. It also upgrades the underlying Eclipse to 4.23 (2022-03), which can be run by Java 11 Runtimes.

Please note that we only provide 64-bit binary versions of the Rodin platform.

=== Changes for plug-in developers ===

Rodin 3.8 is built on top of Eclipse 4.23 (2022-03), which requires Java 11.

There is no API change within Rodin Core.

== Installing ==

=== Downloading ===

[http://sourceforge.net/projects/rodin-b-sharp/files/Core_Rodin_Platform/3.8/ Download Rodin 3.8 now !]

=== Upgrading from a previous version of Rodin 3.x ===

If you run Rodin 3.1, 3.2, 3.3, 3.4, 3.5, 3.6 or 3.7, then you can upgrade your Rodin Platform by clicking Help > Check for Updates, then select Rodin 3.8 in the popup window and accept the licence terms. Note that the upgrading process can take quite a long time.

Take care that Rodin 3.8 brings a new version of Eclipse. This means that once you have opened a workspace with Rodin 3.8, you will not be able to open it with a prior version of Rodin anymore. Please consider copying your workspace for Rodin 3.8 to avoid any disaster.

If you run Rodin 3.0 or prior, you cannot upgrade to 3.8. 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 11 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 ===

The Rodin application is not notarized. This means that when you download it from SourceForge, macOS will quarantine the application and tell you that it is broken. Just run the command <code>xattr -rc Rodin.app</code> in a Terminal to remove the quarantine tag.

=== Linux specific requirements ===

Package <code>libc6-amd64:i386</code> must be installed, in particular in order to run external prover binaries depending on the distribution, you could instead need these packages: <code>lib32z1</code>, <code>lib32ncurses5</code>, <code>lib32bz2-1.0</code>.

=== Windows specific requirements ===
Atelier B provers may work more slowly; it can cause ML to not automatically discharge some sequents that it discharges on windows 32-bit, due to its timeout. A workaround is to download a custom profile: [http://sourceforge.net/projects/rodin-b-sharp/files/DefaultAuto_ML800 DefaultAuto_ML800], then Window > Preferences > Event-B > Sequent Prover > Auto/Post Tactic > Profiles (tab) > Import..., point to the downloaded file, 'Select All' profiles (there are 2), OK. Then in 'Auto/Post Tactic' tab, select 'Default Auto Tactic Profile (ML 800)' profile for auto-tactics. It is the same as the 'Default Auto Tactic Profile', except ML has a longer timeout (800 ms). You can of course change this timeout by editing the 'ML (800)' profile.

We have not noticed this problem for Linux 64-bit, nor for other platforms; however if you do, the same workaround applies.

=== Math fonts ===

To enhance your proving experience, the eclipse font settings (size, aspect...) are available from the preferences (General > Appearance > Colors and Fonts > Rodin). These settings allow you to modify the properties set on the Event-B Keyboard Text Font which is used in many views of the Proving UI. However, to enjoy these functionalities, you need to install the Brave Sans Mono font on your system. You can download this font from the link [http://sourceforge.net/projects/rodin-b-sharp/files/Font_%20Brave%20Sans%20Mono/0.12/ here].

== Fixed Bugs and Implemented Features ==

Bugs
701 Translation occurs unexpectedly
778 Bad presentation of tactic profiles
802 refresh Project Explorer
803 rule DATATYPE_INDUCTION is unsound
804 FormulaExtensionProviderRegistry does not catch exceptions
805 IAE when loading proof
806 Missing UI indicator when running post tactic
807 Proof information view text cut off
809 store options files in binary plug-ins
811 hypothesis text cut off after instantiation input
812 dropdown arrow invisible in Event-B editor on macOS
813 Missing translation in input area of Proof control
814 ArrayIndexOutOfBounds when typing extended predicates
816 ConcurrentModificationException in editor
817 Exception when using external provers with theory...

Feature Requests
170 Bijection and cardinality
292 Make FiniteHypBoundedGoal smarter
339 Add auto tactic for not empty set
343 Generalized Modus Ponens on natural integers
342 Generalized Modus Ponens on Boolean expressions
365 Proof rule for finiteness of generalized union
367 extend IParent in ISCContext
371 apply equality and hide it
372 Proof by case on union membership
376 Min and max definitions
377 Apply modus ponens after instantiation
382 Get free identifiers from a type environment

== Known Issues ==
See [http://sourceforge.net/p/rodin-b-sharp/bugs known bugs on SourceForge].

=== Rodin is not notarized ===

Apple asks that all applications are notarized before they can be run since macOS Mojave. Unfortunately, we did not have time to put this in place for Rodin 3.8. We expect this to be solved for Rodin 3.9. See [[#macOS_specific_requirements|macOS requirements]] for a workaround.

== About ==

TODO

[[Category:Rodin Platform Release Notes]]

Rodin Platform 3.8 Release Notes

2023-04-04T07:18:48Z

Idir: /* Fixed Bugs and Implemented Features */

== What's New in Rodin 3.8? ==

Rodin 3.8 brings several bug fixes. It also upgrades the underlying Eclipse to 4.23 (2022-03), which can be run by Java 11 Runtimes.

Please note that we only provide 64-bit binary versions of the Rodin platform.

=== Changes for plug-in developers ===

Rodin 3.8 is built on top of Eclipse 4.23 (2022-03), which requires Java 11.

There is no API change within Rodin Core.

== Installing ==

=== Downloading ===

[http://sourceforge.net/projects/rodin-b-sharp/files/Core_Rodin_Platform/3.8/ Download Rodin 3.8 now !]

=== Upgrading from a previous version of Rodin 3.x ===

If you run Rodin 3.1, 3.2, 3.3, 3.4, 3.5, 3.6 or 3.7, then you can upgrade your Rodin Platform by clicking Help > Check for Updates, then select Rodin 3.8 in the popup window and accept the licence terms. Note that the upgrading process can take quite a long time.

Take care that Rodin 3.8 brings a new version of Eclipse. This means that once you have opened a workspace with Rodin 3.8, you will not be able to open it with a prior version of Rodin anymore. Please consider copying your workspace for Rodin 3.8 to avoid any disaster.

If you run Rodin 3.0 or prior, you cannot upgrade to 3.8. 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 11 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 ===

The Rodin application is not notarized. This means that when you download it from SourceForge, macOS will quarantine the application and tell you that it is broken. Just run the command <code>xattr -rc Rodin.app</code> in a Terminal to remove the quarantine tag.

=== Linux specific requirements ===

Package <code>libc6-amd64:i386</code> must be installed, in particular in order to run external prover binaries depending on the distribution, you could instead need these packages: <code>lib32z1</code>, <code>lib32ncurses5</code>, <code>lib32bz2-1.0</code>.

=== Windows specific requirements ===
Atelier B provers may work more slowly; it can cause ML to not automatically discharge some sequents that it discharges on windows 32-bit, due to its timeout. A workaround is to download a custom profile: [http://sourceforge.net/projects/rodin-b-sharp/files/DefaultAuto_ML800 DefaultAuto_ML800], then Window > Preferences > Event-B > Sequent Prover > Auto/Post Tactic > Profiles (tab) > Import..., point to the downloaded file, 'Select All' profiles (there are 2), OK. Then in 'Auto/Post Tactic' tab, select 'Default Auto Tactic Profile (ML 800)' profile for auto-tactics. It is the same as the 'Default Auto Tactic Profile', except ML has a longer timeout (800 ms). You can of course change this timeout by editing the 'ML (800)' profile.

We have not noticed this problem for Linux 64-bit, nor for other platforms; however if you do, the same workaround applies.

=== Math fonts ===

To enhance your proving experience, the eclipse font settings (size, aspect...) are available from the preferences (General > Appearance > Colors and Fonts > Rodin). These settings allow you to modify the properties set on the Event-B Keyboard Text Font which is used in many views of the Proving UI. However, to enjoy these functionalities, you need to install the Brave Sans Mono font on your system. You can download this font from the link [http://sourceforge.net/projects/rodin-b-sharp/files/Font_%20Brave%20Sans%20Mono/0.12/ here].

== Fixed Bugs and Implemented Features ==

Bugs
701: Translation occurs unexpectedly
778: Bad presentation of tactic profiles
802: refresh Project Explorer
803: rule DATATYPE_INDUCTION is unsound
804: FormulaExtensionProviderRegistry does not catch exceptions
805: IAE when loading proof
806: Missing UI indicator when running post tactic
807: Proof information view text cut off
809: store options files in binary plug-ins
811: hypothesis text cut off after instantiation input
812: dropdown arrow invisible in Event-B editor on macOS
813: Missing translation in input area of Proof control
814: ArrayIndexOutOfBounds when typing extended predicates
816: ConcurrentModificationException in editor
817: Exception when using external provers with theory...

Feature Requests
170: Bijection and cardinality
292: Make FiniteHypBoundedGoal smarter
339: Add auto tactic for not empty set
343: Generalized Modus Ponens on natural integers
342: Generalized Modus Ponens on Boolean expressions
365: Proof rule for finiteness of generalized union
367: extend IParent in ISCContext
371: apply equality and hide it
372: Proof by case on union membership
376: Min and max definitions
377: Apply modus ponens after instantiation
382: Get free identifiers from a type environment

== Known Issues ==
See [http://sourceforge.net/p/rodin-b-sharp/bugs known bugs on SourceForge].

=== Rodin is not notarized ===

Apple asks that all applications are notarized before they can be run since macOS Mojave. Unfortunately, we did not have time to put this in place for Rodin 3.8. We expect this to be solved for Rodin 3.9. See [[#macOS_specific_requirements|macOS requirements]] for a workaround.

== About ==

TODO

[[Category:Rodin Platform Release Notes]]

Rodin 64 bit

2023-04-04T06:54:27Z

Idir:

Since [[Rodin_Platform_2.4_Release_Notes|release 2.4]], Rodin is available for 64 bit platforms (Windows, Linux, Mac).

Since [[Rodin_Platform_3.4_Release_Notes|release 3.4]], Rodin is no longer available for 32 bit platforms.

Check the latest download:

http://sourceforge.net/projects/rodin-b-sharp/files/Core_Rodin_Platform/3.8/

Rodin Platform Releases

2023-04-04T06:51:45Z

Idir: /* Current Release */

{{TOCright}}

== Current Release ==
<p style="font-size:14pt">The current version of Rodin release is [[Rodin Platform 3.8 Release Notes|3.8]]. It has been published on 2023-04-03. Installation and Release Notes can be found [http://wiki.event-b.org/index.php/Rodin_Platform_3.8_Release_Notes here]</p>

== Current plug-ins ==
{{:Rodin_Platform_3.5.0_External_Plug-ins}}

== Previous Releases ==

{{SimpleHeader}}
|-
! scope=col | Version || Release Date
|-
|[[Rodin Platform 3.8 Release Notes|3.8]] || 2023/04/03
|-
|[[Rodin Platform 3.7 Release Notes|3.7]] || 2022/04/25
|-
|[[Rodin Platform 3.6 Release Notes|3.6]] || 2021/05/17
|-
|[[Rodin Platform 3.5 Release Notes|3.5]] || 2020/09/11
|-
|[[Rodin Platform 3.4 Release Notes|3.4]] || 2018/02/23
|-
|[[Rodin Platform 3.3 Release Notes|3.3]] || 2017/04/05
|-
|[[Rodin Platform 3.2 Release Notes|3.2]] || 2015/09/22
|-
|[[Rodin Platform 3.1 Release Notes|3.1]] || 2014/12/17
|-
|[[Rodin Platform 3.0 Release Notes|3.0]] || 2014/03/25
|-
|[[Rodin Platform 2.8 Release Notes|2.8]] || 2013/06/20
|-
|[[Rodin Platform 2.7 Release Notes|2.7]] || 2012/11/06
|-
|[[Rodin Platform 2.6 Release Notes|2.6]] || 2012/08/03
|-
|[[Rodin Platform 2.5 Release Notes|2.5]] || 2012/05/02
|-
|[[Rodin Platform 2.4 Release Notes|2.4]] || 2011/01/31
|-
|[[Rodin Platform 2.3 Release Notes|2.3]] || 2011/10/04
|-
|[[Rodin Platform 2.2.2 Release Notes|2.2.2]] || 2011/08/01
|-
|[[Rodin Platform 2.2 Release Notes|2.2]] || 2011/06/01
|-
|[[Rodin Platform 2.1.1 Release Notes|2.1.1]] || 2011/03/15
|-
|[[Rodin Platform 2.1 Release Notes|2.1]] || 2011/02/08
|-
|[[Rodin Platform 2.0.1 Release Notes|2.0.1]] || 2010/11/16
|-
|[[Rodin Platform 2.0 Release Notes|2.0]] || 2010/10/08
|-
|[[Rodin Platform 1.3.1 Release Notes|1.3.1]] || 2010/06/15
|-
|[[Rodin Platform 1.3 Release Notes|1.3]] || 2010/05/05
|-
|[[Rodin Platform 1.2 Release Notes|1.2]] || 2010/02/05
|-
|[[Rodin Platform 1.1 Release Notes|1.1]] || 2009/10/15
|-
|[https://sourceforge.net/projects/rodin-b-sharp/files/Core_%20Rodin%20Platform/1.0/ 1.0] || 2009/07/01
|}

== Release Policy ==
* The Rodin platform is released on an irregular basis.
* The code is frozen during the 2 weeks preceding each release.
* Each release is announced on the [[Mailing_lists | Devel]] mailing list. Two days later, the information is broadcasted on the [[Mailing_lists | Announce]] and [[Mailing_lists | User]] mailing lists.
* The [http://wiki.eclipse.org/index.php/Version_Numbering Eclipse versioning policy] is enforced.
* The optional plug-ins shall strive to meet the release date: the release will not be held back.
* The news related to the optional plug-ins are spread on the [[Mailing_lists | Announce]] and [[Mailing_lists | User]] mailing lists.
* A wiki page is dedicated to each release. Select a version from the lists below to see the corresponding release notes.
* The maintainers of the optional plug-ins shall update the ''External Plug-ins'' page of the concerned release once they have ensured the compatibility of their plug-ins with the Rodin platform.
: To indicate that the plug-in is released and compatible with the current platform, please use the following template:
<nowiki>| [[Image:My_plug-in_logo|30px]] || [[My plug-in info page link | My plug-in]] || version || <span style="color:#006400">available</span> || || contact address || Additional notes about the plugin</nowiki>
: To indicate that the plug-in is not yet available and will be released at a later date, please use the following template:
<nowiki>| [[Image:My_plug-in_logo|30px]] || [[My plug-in info page link | My plug-in]] || version || <span style="color:#8B4513"> not available</span> || expected_release_date || contact address || Additional notes</nowiki>
: To indicate that the plug-in is no longer maintained for the next version:
<nowiki>| [[Image:My_plug-in_logo|30px]] || [[My plug-in info page link | My plug-in]] || version || <span style="color:#FF0000">not maintained</span> || || contact address|| Additional notes</nowiki>
* The compatibility is preserved upwardly throught model and proof upward compatibility. However, this compatibility is ensured on models and proofs (not on plaform preferences, etc.).
Also, only the latest version is maintained (i.e. there is no maintenance of old releases).

[[Category:Rodin Platform Release Notes]]
[[Category:Rodin Platform]]
[[Category:Release Notes]]

Rodin Platform Releases

2023-04-04T06:50:24Z

Idir: /* Previous Releases */

{{TOCright}}

== Current Release ==
<p style="font-size:14pt">The current version of Rodin release is [[Rodin Platform 3.7 Release Notes|3.7]]. It has been published on 2022-04-25. Installation and Release Notes can be found [http://wiki.event-b.org/index.php/Rodin_Platform_3.7_Release_Notes here]</p>

== Current plug-ins ==
{{:Rodin_Platform_3.5.0_External_Plug-ins}}

== Previous Releases ==

{{SimpleHeader}}
|-
! scope=col | Version || Release Date
|-
|[[Rodin Platform 3.8 Release Notes|3.8]] || 2023/04/03
|-
|[[Rodin Platform 3.7 Release Notes|3.7]] || 2022/04/25
|-
|[[Rodin Platform 3.6 Release Notes|3.6]] || 2021/05/17
|-
|[[Rodin Platform 3.5 Release Notes|3.5]] || 2020/09/11
|-
|[[Rodin Platform 3.4 Release Notes|3.4]] || 2018/02/23
|-
|[[Rodin Platform 3.3 Release Notes|3.3]] || 2017/04/05
|-
|[[Rodin Platform 3.2 Release Notes|3.2]] || 2015/09/22
|-
|[[Rodin Platform 3.1 Release Notes|3.1]] || 2014/12/17
|-
|[[Rodin Platform 3.0 Release Notes|3.0]] || 2014/03/25
|-
|[[Rodin Platform 2.8 Release Notes|2.8]] || 2013/06/20
|-
|[[Rodin Platform 2.7 Release Notes|2.7]] || 2012/11/06
|-
|[[Rodin Platform 2.6 Release Notes|2.6]] || 2012/08/03
|-
|[[Rodin Platform 2.5 Release Notes|2.5]] || 2012/05/02
|-
|[[Rodin Platform 2.4 Release Notes|2.4]] || 2011/01/31
|-
|[[Rodin Platform 2.3 Release Notes|2.3]] || 2011/10/04
|-
|[[Rodin Platform 2.2.2 Release Notes|2.2.2]] || 2011/08/01
|-
|[[Rodin Platform 2.2 Release Notes|2.2]] || 2011/06/01
|-
|[[Rodin Platform 2.1.1 Release Notes|2.1.1]] || 2011/03/15
|-
|[[Rodin Platform 2.1 Release Notes|2.1]] || 2011/02/08
|-
|[[Rodin Platform 2.0.1 Release Notes|2.0.1]] || 2010/11/16
|-
|[[Rodin Platform 2.0 Release Notes|2.0]] || 2010/10/08
|-
|[[Rodin Platform 1.3.1 Release Notes|1.3.1]] || 2010/06/15
|-
|[[Rodin Platform 1.3 Release Notes|1.3]] || 2010/05/05
|-
|[[Rodin Platform 1.2 Release Notes|1.2]] || 2010/02/05
|-
|[[Rodin Platform 1.1 Release Notes|1.1]] || 2009/10/15
|-
|[https://sourceforge.net/projects/rodin-b-sharp/files/Core_%20Rodin%20Platform/1.0/ 1.0] || 2009/07/01
|}

== Release Policy ==
* The Rodin platform is released on an irregular basis.
* The code is frozen during the 2 weeks preceding each release.
* Each release is announced on the [[Mailing_lists | Devel]] mailing list. Two days later, the information is broadcasted on the [[Mailing_lists | Announce]] and [[Mailing_lists | User]] mailing lists.
* The [http://wiki.eclipse.org/index.php/Version_Numbering Eclipse versioning policy] is enforced.
* The optional plug-ins shall strive to meet the release date: the release will not be held back.
* The news related to the optional plug-ins are spread on the [[Mailing_lists | Announce]] and [[Mailing_lists | User]] mailing lists.
* A wiki page is dedicated to each release. Select a version from the lists below to see the corresponding release notes.
* The maintainers of the optional plug-ins shall update the ''External Plug-ins'' page of the concerned release once they have ensured the compatibility of their plug-ins with the Rodin platform.
: To indicate that the plug-in is released and compatible with the current platform, please use the following template:
<nowiki>| [[Image:My_plug-in_logo|30px]] || [[My plug-in info page link | My plug-in]] || version || <span style="color:#006400">available</span> || || contact address || Additional notes about the plugin</nowiki>
: To indicate that the plug-in is not yet available and will be released at a later date, please use the following template:
<nowiki>| [[Image:My_plug-in_logo|30px]] || [[My plug-in info page link | My plug-in]] || version || <span style="color:#8B4513"> not available</span> || expected_release_date || contact address || Additional notes</nowiki>
: To indicate that the plug-in is no longer maintained for the next version:
<nowiki>| [[Image:My_plug-in_logo|30px]] || [[My plug-in info page link | My plug-in]] || version || <span style="color:#FF0000">not maintained</span> || || contact address|| Additional notes</nowiki>
* The compatibility is preserved upwardly throught model and proof upward compatibility. However, this compatibility is ensured on models and proofs (not on plaform preferences, etc.).
Also, only the latest version is maintained (i.e. there is no maintenance of old releases).

[[Category:Rodin Platform Release Notes]]
[[Category:Rodin Platform]]
[[Category:Release Notes]]

Rodin Platform 3.8 Release Notes

2023-04-04T06:47:31Z

Idir: Created page with "== What's New in Rodin 3.8? == Rodin 3.8 brings several bug fixes. It also upgrades the underlying Eclipse to 4.23 (2022-03), which can be run by Java 11 Runtimes. Please no..."

== What's New in Rodin 3.8? ==

Rodin 3.8 brings several bug fixes. It also upgrades the underlying Eclipse to 4.23 (2022-03), which can be run by Java 11 Runtimes.

Please note that we only provide 64-bit binary versions of the Rodin platform.

=== Changes for plug-in developers ===

Rodin 3.8 is built on top of Eclipse 4.23 (2022-03), which requires Java 11.

There is no API change within Rodin Core.

== Installing ==

=== Downloading ===

[http://sourceforge.net/projects/rodin-b-sharp/files/Core_Rodin_Platform/3.8/ Download Rodin 3.8 now !]

=== Upgrading from a previous version of Rodin 3.x ===

If you run Rodin 3.1, 3.2, 3.3, 3.4, 3.5, 3.6 or 3.7, then you can upgrade your Rodin Platform by clicking Help > Check for Updates, then select Rodin 3.8 in the popup window and accept the licence terms. Note that the upgrading process can take quite a long time.

Take care that Rodin 3.8 brings a new version of Eclipse. This means that once you have opened a workspace with Rodin 3.8, you will not be able to open it with a prior version of Rodin anymore. Please consider copying your workspace for Rodin 3.8 to avoid any disaster.

If you run Rodin 3.0 or prior, you cannot upgrade to 3.8. 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 11 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 ===

The Rodin application is not notarized. This means that when you download it from SourceForge, macOS will quarantine the application and tell you that it is broken. Just run the command <code>xattr -rc Rodin.app</code> in a Terminal to remove the quarantine tag.

=== Linux specific requirements ===

Package <code>libc6-amd64:i386</code> must be installed, in particular in order to run external prover binaries depending on the distribution, you could instead need these packages: <code>lib32z1</code>, <code>lib32ncurses5</code>, <code>lib32bz2-1.0</code>.

=== Windows specific requirements ===
Atelier B provers may work more slowly; it can cause ML to not automatically discharge some sequents that it discharges on windows 32-bit, due to its timeout. A workaround is to download a custom profile: [http://sourceforge.net/projects/rodin-b-sharp/files/DefaultAuto_ML800 DefaultAuto_ML800], then Window > Preferences > Event-B > Sequent Prover > Auto/Post Tactic > Profiles (tab) > Import..., point to the downloaded file, 'Select All' profiles (there are 2), OK. Then in 'Auto/Post Tactic' tab, select 'Default Auto Tactic Profile (ML 800)' profile for auto-tactics. It is the same as the 'Default Auto Tactic Profile', except ML has a longer timeout (800 ms). You can of course change this timeout by editing the 'ML (800)' profile.

We have not noticed this problem for Linux 64-bit, nor for other platforms; however if you do, the same workaround applies.

=== Math fonts ===

To enhance your proving experience, the eclipse font settings (size, aspect...) are available from the preferences (General > Appearance > Colors and Fonts > Rodin). These settings allow you to modify the properties set on the Event-B Keyboard Text Font which is used in many views of the Proving UI. However, to enjoy these functionalities, you need to install the Brave Sans Mono font on your system. You can download this font from the link [http://sourceforge.net/projects/rodin-b-sharp/files/Font_%20Brave%20Sans%20Mono/0.12/ here].

== Fixed Bugs and Implemented Features ==

Bugs
TO DO

Feature Requests
TO DO

== Known Issues ==
See [http://sourceforge.net/p/rodin-b-sharp/bugs known bugs on SourceForge].

=== Rodin is not notarized ===

Apple asks that all applications are notarized before they can be run since macOS Mojave. Unfortunately, we did not have time to put this in place for Rodin 3.8. We expect this to be solved for Rodin 3.9. See [[#macOS_specific_requirements|macOS requirements]] for a workaround.

== About ==

TODO

[[Category:Rodin Platform Release Notes]]

Template:Dev News

2023-04-04T06:40:42Z

Idir: /* Displayed as follow on the Main Page */

<noinclude>
[http://wiki.event-b.org/index.php?title=Template:Dev_News/Archives&action=edit Edit Archives]
== Displayed as follow on the Main Page ==
<div style="margin:0;width:50%;border:1px solid #AAAAAA;background:#FFFFFF;">
</noinclude>
<div style="font-size:90%;">
{| border="0"
|-
|<p style="font-size:35px">Rodin 3.8 is out   </p>
||<p style="font-size:25px">[[Rodin Platform 3.8 Release Notes | +Learn more... ]]</p>
<p style="font-size:25px">[http://sourceforge.net/projects/rodin-b-sharp/files/Core_Rodin_Platform/3.8/ Download now]</p>
|-
|}
* 03/04/23 : [http://sourceforge.net/projects/rodin-b-sharp/files/Core_Rodin_Platform/3.8/ Release 3.8] of Rodin is now available [[Rodin Platform 3.8 Release Notes | +Learn more]]
* 25/04/22 : [http://sourceforge.net/projects/rodin-b-sharp/files/Core_Rodin_Platform/3.7/ Release 3.7] of Rodin is now available [[Rodin Platform 3.7 Release Notes | +Learn more]]
* 01/04/22 : [[Theory_Plug-in]] Theory 4.0.4 is now available
* 14/01/22 : [[SMT_Solvers_Plug-in]] SMT Solvers 1.5 is now available
* 29/09/21 : [[Theory_Plug-in]] Theory 4.0.3 is now available
* 04/06/21 : [[Theory_Plug-in]] Theory 4.0.2 is now available
* 17/05/21 : [http://sourceforge.net/projects/rodin-b-sharp/files/Core_Rodin_Platform/3.6/ Release 3.6] of Rodin is now available [[Rodin Platform 3.6 Release Notes | +Learn more]]
* 22/12/20 : [[Theory_Plug-in]] Theory 4.0.1 is now available
* 11/09/20 : [http://sourceforge.net/projects/rodin-b-sharp/files/Core_Rodin_Platform/3.5/ Release 3.5] of Rodin is now available [[Rodin Platform 3.5 Release Notes | +Learn more]]
* 07/03/18 : [http://sourceforge.net/projects/rodin-b-sharp/files/Core_Rodin_Platform/3.4/ Release 3.4] of Rodin is now available [[Rodin Platform 3.4 Release Notes | +Learn more]]
* 13/04/17 : [http://sourceforge.net/projects/rodin-b-sharp/files/Core_Rodin_Platform/3.3/ Release 3.3] of Rodin is now available [[Rodin Platform 3.3 Release Notes | +Learn more]]
* 22/06/15 : [http://sourceforge.net/projects/rodin-b-sharp/files/Core_Rodin_Platform/3.2/ Release 3.2] of Rodin is now available [[Rodin Platform 3.2 Release Notes | +Learn more]]
* 17/12/14 : [http://sourceforge.net/projects/rodin-b-sharp/files/Core_Rodin_Platform/3.1/ Release 3.1] of Rodin is now available [[Rodin Platform 3.1 Release Notes | +Learn more]]
* 25/03/14 : [http://sourceforge.net/projects/rodin-b-sharp/files/Core_Rodin_Platform/3.0/ Release 3.0] of Rodin is now available [[Rodin_Platform_3.0_Release_Notes | +Learn more]]
* 18/10/13 : [[SMT_Solvers_Plug-in]] SMT 1.1 is now available
* 20/06/13 : [https://sourceforge.net/projects/rodin-b-sharp/files/Core_Rodin_Platform/2.8/ Release 2.8] of Rodin is now available [[Rodin_Platform_2.8_Release_Notes | +Learn more]]
* 03/06/13 : [[SMT_Solvers_Plug-in]] SMT 1.0 is now available
* 06/11/12 : [http://sourceforge.net/projects/rodin-b-sharp/files/Core_Rodin_Platform/2.7/ Release 2.7] of Rodin is now available
* 03/08/12 : [http://sourceforge.net/projects/rodin-b-sharp/files/Core_Rodin_Platform/2.6/ Release 2.6] of Rodin is now available
* 02/05/12 : [http://sourceforge.net/projects/rodin-b-sharp/files/Core_Rodin_Platform/2.5/ Release 2.5] of Rodin is now available
* 03/02/12 : [http://sourceforge.net/projects/rodin-b-sharp/files/Core_Rodin_Platform/2.4/ Release 2.4] of Rodin is now available
* 01/12/11 : [[Rodin_Editor | Rodin Editor]] plug-in v0.6 released for Rodin 2.3
* 04/10/11 : [http://sourceforge.net/projects/rodin-b-sharp/files/Core_Rodin_Platform/2.3/ Release 2.3] of Rodin is now available
* 01/08/11 : [http://sourceforge.net/projects/rodin-b-sharp/files/Core_Rodin_Platform/2.2.2/ Release 2.2.2] of Rodin is now available
* 13/07/11 : [[Rodin_Editor | Rodin Editor]] plug-in released for Rodin 2.2.x
* 01/06/11 : [http://sourceforge.net/projects/rodin-b-sharp/files/Core_Rodin_Platform/2.2/ Release 2.2] of Rodin is now available

</div>
<noinclude>
</div>
[[Category:Main page templates]]
</noinclude>

Rodin Platform 3.7 Release Notes

2022-04-29T14:37:28Z

Idir: /* About */

== What's New in Rodin 3.7? ==

Rodin 3.7 brings several bug fixes. It also upgrades the underlying Eclipse to 4.22 (2021-12), which can be run by Java 11 Runtimes.

Please note that we only provide 64-bit binary versions of the Rodin platform.

=== Changes for plug-in developers ===

Rodin 3.7 is built on top of Eclipse 4.22 (2021-12), which requires Java 11.

There is no API change within Rodin Core.

== Installing ==

=== Downloading ===

[http://sourceforge.net/projects/rodin-b-sharp/files/Core_Rodin_Platform/3.7/ Download Rodin 3.7 now !]

=== Upgrading from a previous version of Rodin 3.x ===

If you run Rodin 3.1, 3.2, 3.3, 3.4, 3.5 or 3.6, then you can upgrade your Rodin Platform by clicking Help > Check for Updates, then select Rodin 3.7 in the popup window and accept the licence terms. Note that the upgrading process can take quite a long time.

Take care that Rodin 3.7 brings a new version of Eclipse. This means that once you have opened a workspace with Rodin 3.7, you will not be able to open it with a prior version of Rodin anymore. Please consider copying your workspace for Rodin 3.7 to avoid any disaster.

If you run Rodin 3.0 or prior, you cannot upgrade to 3.7. 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 11 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 ===

The Rodin application is not notarized. This means that when you download it from SourceForge, macOS will quarantine the application and tell you that it is broken. Just run the command <code>xattr -rc Rodin.app</code> in a Terminal to remove the quarantine tag.

=== Linux specific requirements ===

Package <code>libc6-amd64:i386</code> must be installed, in particular in order to run external prover binaries depending on the distribution, you could instead need these packages: <code>lib32z1</code>, <code>lib32ncurses5</code>, <code>lib32bz2-1.0</code>.

=== Windows specific requirements ===
Atelier B provers may work more slowly; it can cause ML to not automatically discharge some sequents that it discharges on windows 32-bit, due to its timeout. A workaround is to download a custom profile: [http://sourceforge.net/projects/rodin-b-sharp/files/DefaultAuto_ML800 DefaultAuto_ML800], then Window > Preferences > Event-B > Sequent Prover > Auto/Post Tactic > Profiles (tab) > Import..., point to the downloaded file, 'Select All' profiles (there are 2), OK. Then in 'Auto/Post Tactic' tab, select 'Default Auto Tactic Profile (ML 800)' profile for auto-tactics. It is the same as the 'Default Auto Tactic Profile', except ML has a longer timeout (800 ms). You can of course change this timeout by editing the 'ML (800)' profile.

We have not noticed this problem for Linux 64-bit, nor for other platforms; however if you do, the same workaround applies.

=== Math fonts ===

To enhance your proving experience, the eclipse font settings (size, aspect...) are available from the preferences (General > Appearance > Colors and Fonts > Rodin). These settings allow you to modify the properties set on the Event-B Keyboard Text Font which is used in many views of the Proving UI. However, to enjoy these functionalities, you need to install the Brave Sans Mono font on your system. You can download this font from the link [http://sourceforge.net/projects/rodin-b-sharp/files/Font_%20Brave%20Sans%20Mono/0.12/ here].

== Fixed Bugs and Implemented Features ==

Bugs
801 Hypothesis checkbox not refreshed when clicked
799 Predicate extension type checking
797 ClassCastException when saving proof
796 Soton plug-ins included in Rodin plug-ins update site
795 Subclipse update site not working.
788 Add null check to prevent bug #788

Feature Requests
363 Apply distinct case tactics to hypothesis
362 Set membership of datatype destructors
361 Add show info and next subgoals buttons to proof tree view

== Known Issues ==
See [http://sourceforge.net/p/rodin-b-sharp/bugs known bugs on SourceForge].

=== Rodin is not notarized ===

Apple asks that all applications are notarized before they can be run since macOS Mojave. Unfortunately, we did not have time to put this in place for Rodin 3.5. We expect this to be solved for Rodin 3.6. See [[#macOS_specific_requirements|macOS requirements]] for a workaround.

== About ==

Rodin Platform with git commit: <code>4415883</code><br/>
User Release date : 2022/04/26.

[[Category:Rodin Platform Release Notes]]

Rodin Platform 3.7 Release Notes

2022-04-29T14:36:51Z

Idir: /* About */

Rodin 64 bit

2022-04-28T14:27:28Z

Idir:

Rodin Platform 3.7 Release Notes

2022-04-28T14:25:58Z

Idir: /* Fixed Bugs and Implemented Features */

== What's New in Rodin 3.7? ==

Rodin 3.7 brings several bug fixes. It also upgrades the underlying Eclipse to 4.22 (2021-12), which can be run by Java 11 Runtimes.

Please note that we only provide 64-bit binary versions of the Rodin platform.

=== Changes for plug-in developers ===

Rodin 3.7 is built on top of Eclipse 4.22 (2021-12), which requires Java 11.

There is no API change within Rodin Core.

== Installing ==

=== Downloading ===

[http://sourceforge.net/projects/rodin-b-sharp/files/Core_Rodin_Platform/3.7/ Download Rodin 3.7 now !]

=== Upgrading from a previous version of Rodin 3.x ===

If you run Rodin 3.1, 3.2, 3.3, 3.4, 3.5 or 3.6, then you can upgrade your Rodin Platform by clicking Help > Check for Updates, then select Rodin 3.7 in the popup window and accept the licence terms. Note that the upgrading process can take quite a long time.

Take care that Rodin 3.7 brings a new version of Eclipse. This means that once you have opened a workspace with Rodin 3.7, you will not be able to open it with a prior version of Rodin anymore. Please consider copying your workspace for Rodin 3.7 to avoid any disaster.

If you run Rodin 3.0 or prior, you cannot upgrade to 3.7. 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 11 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 ===

The Rodin application is not notarized. This means that when you download it from SourceForge, macOS will quarantine the application and tell you that it is broken. Just run the command <code>xattr -rc Rodin.app</code> in a Terminal to remove the quarantine tag.

=== Linux specific requirements ===

Package <code>libc6-amd64:i386</code> must be installed, in particular in order to run external prover binaries depending on the distribution, you could instead need these packages: <code>lib32z1</code>, <code>lib32ncurses5</code>, <code>lib32bz2-1.0</code>.

=== Windows specific requirements ===
Atelier B provers may work more slowly; it can cause ML to not automatically discharge some sequents that it discharges on windows 32-bit, due to its timeout. A workaround is to download a custom profile: [http://sourceforge.net/projects/rodin-b-sharp/files/DefaultAuto_ML800 DefaultAuto_ML800], then Window > Preferences > Event-B > Sequent Prover > Auto/Post Tactic > Profiles (tab) > Import..., point to the downloaded file, 'Select All' profiles (there are 2), OK. Then in 'Auto/Post Tactic' tab, select 'Default Auto Tactic Profile (ML 800)' profile for auto-tactics. It is the same as the 'Default Auto Tactic Profile', except ML has a longer timeout (800 ms). You can of course change this timeout by editing the 'ML (800)' profile.

We have not noticed this problem for Linux 64-bit, nor for other platforms; however if you do, the same workaround applies.

=== Math fonts ===

To enhance your proving experience, the eclipse font settings (size, aspect...) are available from the preferences (General > Appearance > Colors and Fonts > Rodin). These settings allow you to modify the properties set on the Event-B Keyboard Text Font which is used in many views of the Proving UI. However, to enjoy these functionalities, you need to install the Brave Sans Mono font on your system. You can download this font from the link [http://sourceforge.net/projects/rodin-b-sharp/files/Font_%20Brave%20Sans%20Mono/0.12/ here].

== Fixed Bugs and Implemented Features ==

Bugs
801 Hypothesis checkbox not refreshed when clicked
799 Predicate extension type checking
797 ClassCastException when saving proof
796 Soton plug-ins included in Rodin plug-ins update site
795 Subclipse update site not working.
788 Add null check to prevent bug #788

Feature Requests
363 Apply distinct case tactics to hypothesis
362 Set membership of datatype destructors
361 Add show info and next subgoals buttons to proof tree view

== Known Issues ==
See [http://sourceforge.net/p/rodin-b-sharp/bugs known bugs on SourceForge].

=== Rodin is not notarized ===

Apple asks that all applications are notarized before they can be run since macOS Mojave. Unfortunately, we did not have time to put this in place for Rodin 3.5. We expect this to be solved for Rodin 3.6. See [[#macOS_specific_requirements|macOS requirements]] for a workaround.

== About ==

Rodin Platform with git commit: <code>7106c8a</code><br/>
User Release date : 2022/04/07.

[[Category:Rodin Platform Release Notes]]

Rodin Platform Releases

2022-04-28T14:24:05Z

Idir: /* Previous Releases */

{{TOCright}}

== Current Release ==
<p style="font-size:14pt">The current version of Rodin release is [[Rodin Platform 3.7 Release Notes|3.7]]. It has been published on 2022-04-25. Installation and Release Notes can be found [http://wiki.event-b.org/index.php/Rodin_Platform_3.7_Release_Notes here]</p>

== Current plug-ins ==
{{:Rodin_Platform_3.5.0_External_Plug-ins}}

== Previous Releases ==

{{SimpleHeader}}
|-
! scope=col | Version || Release Date
|-
|[[Rodin Platform 3.7 Release Notes|3.7]] || 2022/04/25
|-
|[[Rodin Platform 3.6 Release Notes|3.6]] || 2021/05/17
|-
|[[Rodin Platform 3.5 Release Notes|3.5]] || 2020/09/11
|-
|[[Rodin Platform 3.4 Release Notes|3.4]] || 2018/02/23
|-
|[[Rodin Platform 3.3 Release Notes|3.3]] || 2017/04/05
|-
|[[Rodin Platform 3.2 Release Notes|3.2]] || 2015/09/22
|-
|[[Rodin Platform 3.1 Release Notes|3.1]] || 2014/12/17
|-
|[[Rodin Platform 3.0 Release Notes|3.0]] || 2014/03/25
|-
|[[Rodin Platform 2.8 Release Notes|2.8]] || 2013/06/20
|-
|[[Rodin Platform 2.7 Release Notes|2.7]] || 2012/11/06
|-
|[[Rodin Platform 2.6 Release Notes|2.6]] || 2012/08/03
|-
|[[Rodin Platform 2.5 Release Notes|2.5]] || 2012/05/02
|-
|[[Rodin Platform 2.4 Release Notes|2.4]] || 2011/01/31
|-
|[[Rodin Platform 2.3 Release Notes|2.3]] || 2011/10/04
|-
|[[Rodin Platform 2.2.2 Release Notes|2.2.2]] || 2011/08/01
|-
|[[Rodin Platform 2.2 Release Notes|2.2]] || 2011/06/01
|-
|[[Rodin Platform 2.1.1 Release Notes|2.1.1]] || 2011/03/15
|-
|[[Rodin Platform 2.1 Release Notes|2.1]] || 2011/02/08
|-
|[[Rodin Platform 2.0.1 Release Notes|2.0.1]] || 2010/11/16
|-
|[[Rodin Platform 2.0 Release Notes|2.0]] || 2010/10/08
|-
|[[Rodin Platform 1.3.1 Release Notes|1.3.1]] || 2010/06/15
|-
|[[Rodin Platform 1.3 Release Notes|1.3]] || 2010/05/05
|-
|[[Rodin Platform 1.2 Release Notes|1.2]] || 2010/02/05
|-
|[[Rodin Platform 1.1 Release Notes|1.1]] || 2009/10/15
|-
|[https://sourceforge.net/projects/rodin-b-sharp/files/Core_%20Rodin%20Platform/1.0/ 1.0] || 2009/07/01
|}

== Release Policy ==
* The Rodin platform is released on an irregular basis.
* The code is frozen during the 2 weeks preceding each release.
* Each release is announced on the [[Mailing_lists | Devel]] mailing list. Two days later, the information is broadcasted on the [[Mailing_lists | Announce]] and [[Mailing_lists | User]] mailing lists.
* The [http://wiki.eclipse.org/index.php/Version_Numbering Eclipse versioning policy] is enforced.
* The optional plug-ins shall strive to meet the release date: the release will not be held back.
* The news related to the optional plug-ins are spread on the [[Mailing_lists | Announce]] and [[Mailing_lists | User]] mailing lists.
* A wiki page is dedicated to each release. Select a version from the lists below to see the corresponding release notes.
* The maintainers of the optional plug-ins shall update the ''External Plug-ins'' page of the concerned release once they have ensured the compatibility of their plug-ins with the Rodin platform.
: To indicate that the plug-in is released and compatible with the current platform, please use the following template:
<nowiki>| [[Image:My_plug-in_logo|30px]] || [[My plug-in info page link | My plug-in]] || version || <span style="color:#006400">available</span> || || contact address || Additional notes about the plugin</nowiki>
: To indicate that the plug-in is not yet available and will be released at a later date, please use the following template:
<nowiki>| [[Image:My_plug-in_logo|30px]] || [[My plug-in info page link | My plug-in]] || version || <span style="color:#8B4513"> not available</span> || expected_release_date || contact address || Additional notes</nowiki>
: To indicate that the plug-in is no longer maintained for the next version:
<nowiki>| [[Image:My_plug-in_logo|30px]] || [[My plug-in info page link | My plug-in]] || version || <span style="color:#FF0000">not maintained</span> || || contact address|| Additional notes</nowiki>
* The compatibility is preserved upwardly throught model and proof upward compatibility. However, this compatibility is ensured on models and proofs (not on plaform preferences, etc.).
Also, only the latest version is maintained (i.e. there is no maintenance of old releases).

[[Category:Rodin Platform Release Notes]]
[[Category:Rodin Platform]]
[[Category:Release Notes]]

Rodin Platform Releases

2022-04-28T14:23:02Z

Idir: /* Current Release */

{{TOCright}}

== Current Release ==
<p style="font-size:14pt">The current version of Rodin release is [[Rodin Platform 3.7 Release Notes|3.7]]. It has been published on 2022-04-25. Installation and Release Notes can be found [http://wiki.event-b.org/index.php/Rodin_Platform_3.7_Release_Notes here]</p>

== Current plug-ins ==
{{:Rodin_Platform_3.5.0_External_Plug-ins}}

== Previous Releases ==

{{SimpleHeader}}
|-
! scope=col | Version || Release Date
|-
|[[Rodin Platform 3.6 Release Notes|3.6]] || 2021/05/17
|-
|[[Rodin Platform 3.5 Release Notes|3.5]] || 2020/09/11
|-
|[[Rodin Platform 3.4 Release Notes|3.4]] || 2018/02/23
|-
|[[Rodin Platform 3.3 Release Notes|3.3]] || 2017/04/05
|-
|[[Rodin Platform 3.2 Release Notes|3.2]] || 2015/09/22
|-
|[[Rodin Platform 3.1 Release Notes|3.1]] || 2014/12/17
|-
|[[Rodin Platform 3.0 Release Notes|3.0]] || 2014/03/25
|-
|[[Rodin Platform 2.8 Release Notes|2.8]] || 2013/06/20
|-
|[[Rodin Platform 2.7 Release Notes|2.7]] || 2012/11/06
|-
|[[Rodin Platform 2.6 Release Notes|2.6]] || 2012/08/03
|-
|[[Rodin Platform 2.5 Release Notes|2.5]] || 2012/05/02
|-
|[[Rodin Platform 2.4 Release Notes|2.4]] || 2011/01/31
|-
|[[Rodin Platform 2.3 Release Notes|2.3]] || 2011/10/04
|-
|[[Rodin Platform 2.2.2 Release Notes|2.2.2]] || 2011/08/01
|-
|[[Rodin Platform 2.2 Release Notes|2.2]] || 2011/06/01
|-
|[[Rodin Platform 2.1.1 Release Notes|2.1.1]] || 2011/03/15
|-
|[[Rodin Platform 2.1 Release Notes|2.1]] || 2011/02/08
|-
|[[Rodin Platform 2.0.1 Release Notes|2.0.1]] || 2010/11/16
|-
|[[Rodin Platform 2.0 Release Notes|2.0]] || 2010/10/08
|-
|[[Rodin Platform 1.3.1 Release Notes|1.3.1]] || 2010/06/15
|-
|[[Rodin Platform 1.3 Release Notes|1.3]] || 2010/05/05
|-
|[[Rodin Platform 1.2 Release Notes|1.2]] || 2010/02/05
|-
|[[Rodin Platform 1.1 Release Notes|1.1]] || 2009/10/15
|-
|[https://sourceforge.net/projects/rodin-b-sharp/files/Core_%20Rodin%20Platform/1.0/ 1.0] || 2009/07/01
|}

== Release Policy ==
* The Rodin platform is released on an irregular basis.
* The code is frozen during the 2 weeks preceding each release.
* Each release is announced on the [[Mailing_lists | Devel]] mailing list. Two days later, the information is broadcasted on the [[Mailing_lists | Announce]] and [[Mailing_lists | User]] mailing lists.
* The [http://wiki.eclipse.org/index.php/Version_Numbering Eclipse versioning policy] is enforced.
* The optional plug-ins shall strive to meet the release date: the release will not be held back.
* The news related to the optional plug-ins are spread on the [[Mailing_lists | Announce]] and [[Mailing_lists | User]] mailing lists.
* A wiki page is dedicated to each release. Select a version from the lists below to see the corresponding release notes.
* The maintainers of the optional plug-ins shall update the ''External Plug-ins'' page of the concerned release once they have ensured the compatibility of their plug-ins with the Rodin platform.
: To indicate that the plug-in is released and compatible with the current platform, please use the following template:
<nowiki>| [[Image:My_plug-in_logo|30px]] || [[My plug-in info page link | My plug-in]] || version || <span style="color:#006400">available</span> || || contact address || Additional notes about the plugin</nowiki>
: To indicate that the plug-in is not yet available and will be released at a later date, please use the following template:
<nowiki>| [[Image:My_plug-in_logo|30px]] || [[My plug-in info page link | My plug-in]] || version || <span style="color:#8B4513"> not available</span> || expected_release_date || contact address || Additional notes</nowiki>
: To indicate that the plug-in is no longer maintained for the next version:
<nowiki>| [[Image:My_plug-in_logo|30px]] || [[My plug-in info page link | My plug-in]] || version || <span style="color:#FF0000">not maintained</span> || || contact address|| Additional notes</nowiki>
* The compatibility is preserved upwardly throught model and proof upward compatibility. However, this compatibility is ensured on models and proofs (not on plaform preferences, etc.).
Also, only the latest version is maintained (i.e. there is no maintenance of old releases).

[[Category:Rodin Platform Release Notes]]
[[Category:Rodin Platform]]
[[Category:Release Notes]]

Rodin Platform 3.7 Release Notes

2022-04-28T14:16:04Z

Idir: /* Fixed Bugs and Implemented Features */

== What's New in Rodin 3.7? ==

Rodin 3.7 brings several bug fixes. It also upgrades the underlying Eclipse to 4.22 (2021-12), which can be run by Java 11 Runtimes.

Please note that we only provide 64-bit binary versions of the Rodin platform.

=== Changes for plug-in developers ===

Rodin 3.7 is built on top of Eclipse 4.22 (2021-12), which requires Java 11.

There is no API change within Rodin Core.

== Installing ==

=== Downloading ===

[http://sourceforge.net/projects/rodin-b-sharp/files/Core_Rodin_Platform/3.7/ Download Rodin 3.7 now !]

=== Upgrading from a previous version of Rodin 3.x ===

If you run Rodin 3.1, 3.2, 3.3, 3.4, 3.5 or 3.6, then you can upgrade your Rodin Platform by clicking Help > Check for Updates, then select Rodin 3.7 in the popup window and accept the licence terms. Note that the upgrading process can take quite a long time.

Take care that Rodin 3.7 brings a new version of Eclipse. This means that once you have opened a workspace with Rodin 3.7, you will not be able to open it with a prior version of Rodin anymore. Please consider copying your workspace for Rodin 3.7 to avoid any disaster.

If you run Rodin 3.0 or prior, you cannot upgrade to 3.7. 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 11 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 ===

The Rodin application is not notarized. This means that when you download it from SourceForge, macOS will quarantine the application and tell you that it is broken. Just run the command <code>xattr -rc Rodin.app</code> in a Terminal to remove the quarantine tag.

=== Linux specific requirements ===

Package <code>libc6-amd64:i386</code> must be installed, in particular in order to run external prover binaries depending on the distribution, you could instead need these packages: <code>lib32z1</code>, <code>lib32ncurses5</code>, <code>lib32bz2-1.0</code>.

=== Windows specific requirements ===
Atelier B provers may work more slowly; it can cause ML to not automatically discharge some sequents that it discharges on windows 32-bit, due to its timeout. A workaround is to download a custom profile: [http://sourceforge.net/projects/rodin-b-sharp/files/DefaultAuto_ML800 DefaultAuto_ML800], then Window > Preferences > Event-B > Sequent Prover > Auto/Post Tactic > Profiles (tab) > Import..., point to the downloaded file, 'Select All' profiles (there are 2), OK. Then in 'Auto/Post Tactic' tab, select 'Default Auto Tactic Profile (ML 800)' profile for auto-tactics. It is the same as the 'Default Auto Tactic Profile', except ML has a longer timeout (800 ms). You can of course change this timeout by editing the 'ML (800)' profile.

We have not noticed this problem for Linux 64-bit, nor for other platforms; however if you do, the same workaround applies.

=== Math fonts ===

To enhance your proving experience, the eclipse font settings (size, aspect...) are available from the preferences (General > Appearance > Colors and Fonts > Rodin). These settings allow you to modify the properties set on the Event-B Keyboard Text Font which is used in many views of the Proving UI. However, to enjoy these functionalities, you need to install the Brave Sans Mono font on your system. You can download this font from the link [http://sourceforge.net/projects/rodin-b-sharp/files/Font_%20Brave%20Sans%20Mono/0.12/ here].

== Fixed Bugs and Implemented Features ==

Bugs
801 Hypothesis checkbox not refreshed when clicked
799 Predicate extension type checking
797 ClassCastException when saving proof
796 Soton plug-ins included in Rodin plug-ins update site
795 Subclipse update site not working.
788 Add null check to prevent bug #788

Feature Requests
363 Apply distinct case tactics to hypothesis
362 Set membership of datatype destructors
361 Add show info and next subgoals buttons to proof tree view

== About ==

Rodin Platform with git commit: <code>7106c8a</code><br/>
User Release date : 2022/04/07.

[[Category:Rodin Platform Release Notes]]

Rodin Platform 3.7 Release Notes

2022-04-28T14:15:46Z

Idir: /* Requirements - Compatibility */

== What's New in Rodin 3.7? ==

Rodin 3.7 brings several bug fixes. It also upgrades the underlying Eclipse to 4.22 (2021-12), which can be run by Java 11 Runtimes.

Please note that we only provide 64-bit binary versions of the Rodin platform.

=== Changes for plug-in developers ===

Rodin 3.7 is built on top of Eclipse 4.22 (2021-12), which requires Java 11.

There is no API change within Rodin Core.

== Installing ==

=== Downloading ===

[http://sourceforge.net/projects/rodin-b-sharp/files/Core_Rodin_Platform/3.7/ Download Rodin 3.7 now !]

=== Upgrading from a previous version of Rodin 3.x ===

If you run Rodin 3.1, 3.2, 3.3, 3.4, 3.5 or 3.6, then you can upgrade your Rodin Platform by clicking Help > Check for Updates, then select Rodin 3.7 in the popup window and accept the licence terms. Note that the upgrading process can take quite a long time.

Take care that Rodin 3.7 brings a new version of Eclipse. This means that once you have opened a workspace with Rodin 3.7, you will not be able to open it with a prior version of Rodin anymore. Please consider copying your workspace for Rodin 3.7 to avoid any disaster.

If you run Rodin 3.0 or prior, you cannot upgrade to 3.7. 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 11 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 ===

The Rodin application is not notarized. This means that when you download it from SourceForge, macOS will quarantine the application and tell you that it is broken. Just run the command <code>xattr -rc Rodin.app</code> in a Terminal to remove the quarantine tag.

=== Linux specific requirements ===

Package <code>libc6-amd64:i386</code> must be installed, in particular in order to run external prover binaries depending on the distribution, you could instead need these packages: <code>lib32z1</code>, <code>lib32ncurses5</code>, <code>lib32bz2-1.0</code>.

=== Windows specific requirements ===
Atelier B provers may work more slowly; it can cause ML to not automatically discharge some sequents that it discharges on windows 32-bit, due to its timeout. A workaround is to download a custom profile: [http://sourceforge.net/projects/rodin-b-sharp/files/DefaultAuto_ML800 DefaultAuto_ML800], then Window > Preferences > Event-B > Sequent Prover > Auto/Post Tactic > Profiles (tab) > Import..., point to the downloaded file, 'Select All' profiles (there are 2), OK. Then in 'Auto/Post Tactic' tab, select 'Default Auto Tactic Profile (ML 800)' profile for auto-tactics. It is the same as the 'Default Auto Tactic Profile', except ML has a longer timeout (800 ms). You can of course change this timeout by editing the 'ML (800)' profile.

We have not noticed this problem for Linux 64-bit, nor for other platforms; however if you do, the same workaround applies.

=== Math fonts ===

To enhance your proving experience, the eclipse font settings (size, aspect...) are available from the preferences (General > Appearance > Colors and Fonts > Rodin). These settings allow you to modify the properties set on the Event-B Keyboard Text Font which is used in many views of the Proving UI. However, to enjoy these functionalities, you need to install the Brave Sans Mono font on your system. You can download this font from the link [http://sourceforge.net/projects/rodin-b-sharp/files/Font_%20Brave%20Sans%20Mono/0.12/ here].

== Fixed Bugs and Implemented Features ==

Bugs
801 Hypothesis checkbox not refreshed when clicked
799 Predicate extension type checking
797 ClassCastException when saving proof
796 Soton plug-ins included in Rodin plug-ins update site
795 Subclipse update site not working.
788 Add null check to prevent bug #788

Feature Requests
363 Apply distinct case tactics to hypothesis
362 Set membership of datatype destructors
361 Add show info and next subgoals buttons to proof tree view

== About ==

Rodin Platform with git commit: <code>7106c8a</code><br/>
User Release date : 2022/04/07.

[[Category:Rodin Platform Release Notes]]

Rodin Platform 3.7 Release Notes

2022-04-28T14:09:01Z

Idir: Created page with "== What's New in Rodin 3.7? == Rodin 3.7 brings several bug fixes. It also upgrades the underlying Eclipse to 4.22 (2021-12), which can be run by Java 11 Runtimes. Please no..."

== What's New in Rodin 3.7? ==

Rodin 3.7 brings several bug fixes. It also upgrades the underlying Eclipse to 4.22 (2021-12), which can be run by Java 11 Runtimes.

Please note that we only provide 64-bit binary versions of the Rodin platform.

=== Changes for plug-in developers ===

Rodin 3.7 is built on top of Eclipse 4.22 (2021-12), which requires Java 11.

There is no API change within Rodin Core.

== Installing ==

=== Downloading ===

[http://sourceforge.net/projects/rodin-b-sharp/files/Core_Rodin_Platform/3.7/ Download Rodin 3.7 now !]

=== Upgrading from a previous version of Rodin 3.x ===

If you run Rodin 3.1, 3.2, 3.3, 3.4, 3.5 or 3.6, then you can upgrade your Rodin Platform by clicking Help > Check for Updates, then select Rodin 3.7 in the popup window and accept the licence terms. Note that the upgrading process can take quite a long time.

Take care that Rodin 3.7 brings a new version of Eclipse. This means that once you have opened a workspace with Rodin 3.7, you will not be able to open it with a prior version of Rodin anymore. Please consider copying your workspace for Rodin 3.7 to avoid any disaster.

If you run Rodin 3.0 or prior, you cannot upgrade to 3.7. 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 11 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 ===

The Rodin application is not notarized. This means that when you download it from SourceForge, macOS will quarantine the application and tell you that it is broken. Just run the command <code>xattr -rc Rodin.app</code> in a Terminal to remove the quarantine tag.

=== Linux specific requirements ===

Package <code>libc6-amd64:i386</code> must be installed, in particular in order to run external prover binaries depending on the distribution, you could instead need these packages: <code>lib32z1</code>, <code>lib32ncurses5</code>, <code>lib32bz2-1.0</code>.

=== Windows specific requirements ===
Atelier B provers may work more slowly; it can cause ML to not automatically discharge some sequents that it discharges on windows 32-bit, due to its timeout. A workaround is to download a custom profile: [http://sourceforge.net/projects/rodin-b-sharp/files/DefaultAuto_ML800 DefaultAuto_ML800], then Window > Preferences > Event-B > Sequent Prover > Auto/Post Tactic > Profiles (tab) > Import..., point to the downloaded file, 'Select All' profiles (there are 2), OK. Then in 'Auto/Post Tactic' tab, select 'Default Auto Tactic Profile (ML 800)' profile for auto-tactics. It is the same as the 'Default Auto Tactic Profile', except ML has a longer timeout (800 ms). You can of course change this timeout by editing the 'ML (800)' profile.

We have not noticed this problem for Linux 64-bit, nor for other platforms; however if you do, the same workaround applies.

=== Math fonts ===

To enhance your proving experience, the eclipse font settings (size, aspect...) are available from the preferences (General > Appearance > Colors and Fonts > Rodin). These settings allow you to modify the properties set on the Event-B Keyboard Text Font which is used in many views of the Proving UI. However, to enjoy these functionalities, you need to install the Brave Sans Mono font on your system. You can download this font from the link [http://sourceforge.net/projects/rodin-b-sharp/files/Font_%20Brave%20Sans%20Mono/0.12/ here].

== About ==

Rodin Platform with git commit: <code>7106c8a</code><br/>
User Release date : 2022/04/07.

[[Category:Rodin Platform Release Notes]]

Template:Dev News

2022-04-28T11:35:35Z

Idir: /* Displayed as follow on the Main Page */

<noinclude>
[http://wiki.event-b.org/index.php?title=Template:Dev_News/Archives&action=edit Edit Archives]
== Displayed as follow on the Main Page ==
<div style="margin:0;width:50%;border:1px solid #AAAAAA;background:#FFFFFF;">
</noinclude>
<div style="font-size:90%;">
{| border="0"
|-
|<p style="font-size:35px">Rodin 3.7 is out   </p>
||<p style="font-size:25px">[[Rodin Platform 3.7 Release Notes | +Learn more... ]]</p>
<p style="font-size:25px">[http://sourceforge.net/projects/rodin-b-sharp/files/Core_Rodin_Platform/3.7/ Download now]</p>
|-
|}
* 25/04/22 : [http://sourceforge.net/projects/rodin-b-sharp/files/Core_Rodin_Platform/3.7/ Release 3.7] of Rodin is now available [[Rodin Platform 3.7 Release Notes | +Learn more]]
* 01/04/22 : [[Theory_Plug-in]] Theory 4.0.4 is now available
* 14/01/22 : [[SMT_Solvers_Plug-in]] SMT Solvers 1.5 is now available
* 29/09/21 : [[Theory_Plug-in]] Theory 4.0.3 is now available
* 04/06/21 : [[Theory_Plug-in]] Theory 4.0.2 is now available
* 17/05/21 : [http://sourceforge.net/projects/rodin-b-sharp/files/Core_Rodin_Platform/3.6/ Release 3.6] of Rodin is now available [[Rodin Platform 3.6 Release Notes | +Learn more]]
* 22/12/20 : [[Theory_Plug-in]] Theory 4.0.1 is now available
* 11/09/20 : [http://sourceforge.net/projects/rodin-b-sharp/files/Core_Rodin_Platform/3.5/ Release 3.5] of Rodin is now available [[Rodin Platform 3.5 Release Notes | +Learn more]]
* 07/03/18 : [http://sourceforge.net/projects/rodin-b-sharp/files/Core_Rodin_Platform/3.4/ Release 3.4] of Rodin is now available [[Rodin Platform 3.4 Release Notes | +Learn more]]
* 13/04/17 : [http://sourceforge.net/projects/rodin-b-sharp/files/Core_Rodin_Platform/3.3/ Release 3.3] of Rodin is now available [[Rodin Platform 3.3 Release Notes | +Learn more]]
* 22/06/15 : [http://sourceforge.net/projects/rodin-b-sharp/files/Core_Rodin_Platform/3.2/ Release 3.2] of Rodin is now available [[Rodin Platform 3.2 Release Notes | +Learn more]]
* 17/12/14 : [http://sourceforge.net/projects/rodin-b-sharp/files/Core_Rodin_Platform/3.1/ Release 3.1] of Rodin is now available [[Rodin Platform 3.1 Release Notes | +Learn more]]
* 25/03/14 : [http://sourceforge.net/projects/rodin-b-sharp/files/Core_Rodin_Platform/3.0/ Release 3.0] of Rodin is now available [[Rodin_Platform_3.0_Release_Notes | +Learn more]]
* 18/10/13 : [[SMT_Solvers_Plug-in]] SMT 1.1 is now available
* 20/06/13 : [https://sourceforge.net/projects/rodin-b-sharp/files/Core_Rodin_Platform/2.8/ Release 2.8] of Rodin is now available [[Rodin_Platform_2.8_Release_Notes | +Learn more]]
* 03/06/13 : [[SMT_Solvers_Plug-in]] SMT 1.0 is now available
* 06/11/12 : [http://sourceforge.net/projects/rodin-b-sharp/files/Core_Rodin_Platform/2.7/ Release 2.7] of Rodin is now available
* 03/08/12 : [http://sourceforge.net/projects/rodin-b-sharp/files/Core_Rodin_Platform/2.6/ Release 2.6] of Rodin is now available
* 02/05/12 : [http://sourceforge.net/projects/rodin-b-sharp/files/Core_Rodin_Platform/2.5/ Release 2.5] of Rodin is now available
* 03/02/12 : [http://sourceforge.net/projects/rodin-b-sharp/files/Core_Rodin_Platform/2.4/ Release 2.4] of Rodin is now available
* 01/12/11 : [[Rodin_Editor | Rodin Editor]] plug-in v0.6 released for Rodin 2.3
* 04/10/11 : [http://sourceforge.net/projects/rodin-b-sharp/files/Core_Rodin_Platform/2.3/ Release 2.3] of Rodin is now available
* 01/08/11 : [http://sourceforge.net/projects/rodin-b-sharp/files/Core_Rodin_Platform/2.2.2/ Release 2.2.2] of Rodin is now available
* 13/07/11 : [[Rodin_Editor | Rodin Editor]] plug-in released for Rodin 2.2.x
* 01/06/11 : [http://sourceforge.net/projects/rodin-b-sharp/files/Core_Rodin_Platform/2.2/ Release 2.2] of Rodin is now available

</div>
<noinclude>
</div>
[[Category:Main page templates]]
</noinclude>

Template:Dev News

2022-04-28T11:34:23Z

Idir: /* Displayed as follow on the Main Page */

<noinclude>
[http://wiki.event-b.org/index.php?title=Template:Dev_News/Archives&action=edit Edit Archives]
== Displayed as follow on the Main Page ==
<div style="margin:0;width:50%;border:1px solid #AAAAAA;background:#FFFFFF;">
</noinclude>
<div style="font-size:90%;">
{| border="0"
|-
|<p style="font-size:35px">Rodin 3.6 is out   </p>
||<p style="font-size:25px">[[Rodin Platform 3.7 Release Notes | +Learn more... ]]</p>
<p style="font-size:25px">[http://sourceforge.net/projects/rodin-b-sharp/files/Core_Rodin_Platform/3.7/ Download now]</p>
|-
|}
* 25/04/22 : [http://sourceforge.net/projects/rodin-b-sharp/files/Core_Rodin_Platform/3.7/ Release 3.7] of Rodin is now available [[Rodin Platform 3.7 Release Notes | +Learn more]]
* 01/04/22 : [[Theory_Plug-in]] Theory 4.0.4 is now available
* 14/01/22 : [[SMT_Solvers_Plug-in]] SMT Solvers 1.5 is now available
* 29/09/21 : [[Theory_Plug-in]] Theory 4.0.3 is now available
* 04/06/21 : [[Theory_Plug-in]] Theory 4.0.2 is now available
* 17/05/21 : [http://sourceforge.net/projects/rodin-b-sharp/files/Core_Rodin_Platform/3.6/ Release 3.6] of Rodin is now available [[Rodin Platform 3.6 Release Notes | +Learn more]]
* 22/12/20 : [[Theory_Plug-in]] Theory 4.0.1 is now available
* 11/09/20 : [http://sourceforge.net/projects/rodin-b-sharp/files/Core_Rodin_Platform/3.5/ Release 3.5] of Rodin is now available [[Rodin Platform 3.5 Release Notes | +Learn more]]
* 07/03/18 : [http://sourceforge.net/projects/rodin-b-sharp/files/Core_Rodin_Platform/3.4/ Release 3.4] of Rodin is now available [[Rodin Platform 3.4 Release Notes | +Learn more]]
* 13/04/17 : [http://sourceforge.net/projects/rodin-b-sharp/files/Core_Rodin_Platform/3.3/ Release 3.3] of Rodin is now available [[Rodin Platform 3.3 Release Notes | +Learn more]]
* 22/06/15 : [http://sourceforge.net/projects/rodin-b-sharp/files/Core_Rodin_Platform/3.2/ Release 3.2] of Rodin is now available [[Rodin Platform 3.2 Release Notes | +Learn more]]
* 17/12/14 : [http://sourceforge.net/projects/rodin-b-sharp/files/Core_Rodin_Platform/3.1/ Release 3.1] of Rodin is now available [[Rodin Platform 3.1 Release Notes | +Learn more]]
* 25/03/14 : [http://sourceforge.net/projects/rodin-b-sharp/files/Core_Rodin_Platform/3.0/ Release 3.0] of Rodin is now available [[Rodin_Platform_3.0_Release_Notes | +Learn more]]
* 18/10/13 : [[SMT_Solvers_Plug-in]] SMT 1.1 is now available
* 20/06/13 : [https://sourceforge.net/projects/rodin-b-sharp/files/Core_Rodin_Platform/2.8/ Release 2.8] of Rodin is now available [[Rodin_Platform_2.8_Release_Notes | +Learn more]]
* 03/06/13 : [[SMT_Solvers_Plug-in]] SMT 1.0 is now available
* 06/11/12 : [http://sourceforge.net/projects/rodin-b-sharp/files/Core_Rodin_Platform/2.7/ Release 2.7] of Rodin is now available
* 03/08/12 : [http://sourceforge.net/projects/rodin-b-sharp/files/Core_Rodin_Platform/2.6/ Release 2.6] of Rodin is now available
* 02/05/12 : [http://sourceforge.net/projects/rodin-b-sharp/files/Core_Rodin_Platform/2.5/ Release 2.5] of Rodin is now available
* 03/02/12 : [http://sourceforge.net/projects/rodin-b-sharp/files/Core_Rodin_Platform/2.4/ Release 2.4] of Rodin is now available
* 01/12/11 : [[Rodin_Editor | Rodin Editor]] plug-in v0.6 released for Rodin 2.3
* 04/10/11 : [http://sourceforge.net/projects/rodin-b-sharp/files/Core_Rodin_Platform/2.3/ Release 2.3] of Rodin is now available
* 01/08/11 : [http://sourceforge.net/projects/rodin-b-sharp/files/Core_Rodin_Platform/2.2.2/ Release 2.2.2] of Rodin is now available
* 13/07/11 : [[Rodin_Editor | Rodin Editor]] plug-in released for Rodin 2.2.x
* 01/06/11 : [http://sourceforge.net/projects/rodin-b-sharp/files/Core_Rodin_Platform/2.2/ Release 2.2] of Rodin is now available

</div>
<noinclude>
</div>
[[Category:Main page templates]]
</noinclude>

Rodin Platform 3.6 Release Notes

2021-05-25T14:09:49Z

Idir:

{{TOCright}}

== What's New in Rodin 3.6? ==

Rodin 3.6 brings several bug fixes. It also upgrades the underlying Eclipse to 2020-12, which can be run by Java 11 Runtimes.

Please note that we only provide 64-bit binary versions of the Rodin platform.

=== Changes for plug-in developers ===

Rodin 3.6 is built on top of Eclipse 4.18 (2020-12), which requires Java 11.

There is no API change within Rodin Core.

== Installing ==

=== Downloading ===

[http://sourceforge.net/projects/rodin-b-sharp/files/Core_Rodin_Platform/3.6/ Download Rodin 3.6 now !]

=== Upgrading from a previous version of Rodin 3.x ===

If you run Rodin 3.1, 3.2, 3.3, 3.4 or 3.5, then you can upgrade your Rodin Platform by clicking Help > Check for Updates, then select Rodin 3.6 in the popup window and accept the licence terms. Note that the upgrading process can take quite a long time.

Take care that Rodin 3.6 brings a new version of Eclipse. This means that once you have opened a workspace with Rodin 3.6, you will not be able to open it with a prior version of Rodin anymore. Please consider copying your workspace for Rodin 3.6 to avoid any disaster.

If you run Rodin 3.0 or prior, you cannot upgrade to 3.6. 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 11 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 ===

The Rodin application is not notarized. This means that when you download it from SourceForge, macOS will quarantine the application and tell you that it is broken. Just run the command <code>xattr -rc Rodin.app</code> in a Terminal to remove the quarantine tag.

=== Linux specific requirements ===

Package <code>libc6-amd64:i386</code> must be installed, in particular in order to run external prover binaries depending on the distribution, you could instead need these packages: <code>lib32z1</code>, <code>lib32ncurses5</code>, <code>lib32bz2-1.0</code>.

=== Windows specific requirements ===
Atelier B provers may work more slowly; it can cause ML to not automatically discharge some sequents that it discharges on windows 32-bit, due to its timeout. A workaround is to download a custom profile: [http://sourceforge.net/projects/rodin-b-sharp/files/DefaultAuto_ML800 DefaultAuto_ML800], then Window > Preferences > Event-B > Sequent Prover > Auto/Post Tactic > Profiles (tab) > Import..., point to the downloaded file, 'Select All' profiles (there are 2), OK. Then in 'Auto/Post Tactic' tab, select 'Default Auto Tactic Profile (ML 800)' profile for auto-tactics. It is the same as the 'Default Auto Tactic Profile', except ML has a longer timeout (800 ms). You can of course change this timeout by editing the 'ML (800)' profile.

We have not noticed this problem for Linux 64-bit, nor for other platforms; however if you do, the same workaround applies.

=== Math fonts ===

To enhance your proving experience, the eclipse font settings (size, aspect...) are available from the preferences (General > Appearance > Colors and Fonts > Rodin). These settings allow you to modify the properties set on the Event-B Keyboard Text Font which is used in many views of the Proving UI. However, to enjoy these functionalities, you need to install the Brave Sans Mono font on your system. You can download this font from the link [http://sourceforge.net/projects/rodin-b-sharp/files/Font_%20Brave%20Sans%20Mono/0.12/ here].

== Disclaimer ==

Since Rodin is continuously maintained, several unsoundness bugs which have been encountered were investigated and fixed. However, despite the total commitment of our teams to ensure the soundness of the platform, some unexpected and unknown soundness issues could remain. We would be grateful if you would report these issues to the [mailto:rodin-b-sharp-devel@lists.sourceforge.net development mailing list].

== About ==

Rodin Platform with git commit: <code>77c3449</code><br/>
User Release date : 2021/05/17.

[[Category:Rodin Platform Release Notes]]

Rodin Platform 3.6 Release Notes

2021-05-19T14:50:58Z

Idir:

{{TOCright}}

== Installing ==

=== Downloading ===

[http://sourceforge.net/projects/rodin-b-sharp/files/Core_Rodin_Platform/3.6/ Download Rodin 3.6 now !]

=== Upgrading from a previous version of Rodin 3.x ===

If you run Rodin 3.1, 3.2, 3.3, 3.4 or 3.5, then you can upgrade your Rodin Platform by clicking Help > Check for Updates, then select Rodin 3.6 in the popup window and accept the licence terms. Note that the upgrading process can take quite a long time.

Take care that Rodin 3.6 brings a new version of Eclipse. This means that once you have opened a workspace with Rodin 3.6, you will not be able to open it with a prior version of Rodin anymore. Please consider copying your workspace for Rodin 3.6 to avoid any disaster.

If you run Rodin 3.0 or prior, you cannot upgrade to 3.6. 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 11 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 ===

The Rodin application is not notarized. This means that when you download it from SourceForge, macOS will quarantine the application and tell you that it is broken. Just run the command <code>xattr -rc Rodin.app</code> in a Terminal to remove the quarantine tag.

=== Linux specific requirements ===

Package <code>libc6-amd64:i386</code> must be installed, in particular in order to run external prover binaries depending on the distribution, you could instead need these packages: <code>lib32z1</code>, <code>lib32ncurses5</code>, <code>lib32bz2-1.0</code>.

=== Windows specific requirements ===
Atelier B provers may work more slowly; it can cause ML to not automatically discharge some sequents that it discharges on windows 32-bit, due to its timeout. A workaround is to download a custom profile: [http://sourceforge.net/projects/rodin-b-sharp/files/DefaultAuto_ML800 DefaultAuto_ML800], then Window > Preferences > Event-B > Sequent Prover > Auto/Post Tactic > Profiles (tab) > Import..., point to the downloaded file, 'Select All' profiles (there are 2), OK. Then in 'Auto/Post Tactic' tab, select 'Default Auto Tactic Profile (ML 800)' profile for auto-tactics. It is the same as the 'Default Auto Tactic Profile', except ML has a longer timeout (800 ms). You can of course change this timeout by editing the 'ML (800)' profile.

We have not noticed this problem for Linux 64-bit, nor for other platforms; however if you do, the same workaround applies.

=== Math fonts ===

To enhance your proving experience, the eclipse font settings (size, aspect...) are available from the preferences (General > Appearance > Colors and Fonts > Rodin). These settings allow you to modify the properties set on the Event-B Keyboard Text Font which is used in many views of the Proving UI. However, to enjoy these functionalities, you need to install the Brave Sans Mono font on your system. You can download this font from the link [http://sourceforge.net/projects/rodin-b-sharp/files/Font_%20Brave%20Sans%20Mono/0.12/ here].

== Disclaimer ==

Since Rodin is continuously maintained, several unsoundness bugs which have been encountered were investigated and fixed. However, despite the total commitment of our teams to ensure the soundness of the platform, some unexpected and unknown soundness issues could remain. We would be grateful if you would report these issues to the [mailto:rodin-b-sharp-devel@lists.sourceforge.net development mailing list].

== About ==

Rodin Platform with git commit: <code>77c3449</code><br/>
User Release date : 2021/05/17.

[[Category:Rodin Platform Release Notes]]

Rodin Platform 3.6 Release Notes

2021-05-19T14:47:24Z

Idir: /* macOS specific requirements */

{{TOCright}}

== Installing ==

=== Downloading ===

[http://sourceforge.net/projects/rodin-b-sharp/files/Core_Rodin_Platform/3.6/ Download Rodin 3.6 now !]

=== Upgrading from a previous version of Rodin 3.x ===

If you run Rodin 3.1, 3.2, 3.3, 3.4 or 3.5, then you can upgrade your Rodin Platform by clicking Help > Check for Updates, then select Rodin 3.6 in the popup window and accept the licence terms. Note that the upgrading process can take quite a long time.

Take care that Rodin 3.6 brings a new version of Eclipse. This means that once you have opened a workspace with Rodin 3.6, you will not be able to open it with a prior version of Rodin anymore. Please consider copying your workspace for Rodin 3.6 to avoid any disaster.

If you run Rodin 3.0 or prior, you cannot upgrade to 3.6. 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 11 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 ===

The Rodin application is not notarized. This means that when you download it from SourceForge, macOS will quarantine the application and tell you that it is broken. Just run the command <code>xattr -rc Rodin.app</code> in a Terminal to remove the quarantine tag.

=== Linux specific requirements ===

Package <code>libc6-amd64:i386</code> must be installed, in particular in order to run external prover binaries depending on the distribution, you could instead need these packages: <code>lib32z1</code>, <code>lib32ncurses5</code>, <code>lib32bz2-1.0</code>.

=== Windows specific requirements ===
Atelier B provers may work more slowly; it can cause ML to not automatically discharge some sequents that it discharges on windows 32-bit, due to its timeout. A workaround is to download a custom profile: [http://sourceforge.net/projects/rodin-b-sharp/files/DefaultAuto_ML800 DefaultAuto_ML800], then Window > Preferences > Event-B > Sequent Prover > Auto/Post Tactic > Profiles (tab) > Import..., point to the downloaded file, 'Select All' profiles (there are 2), OK. Then in 'Auto/Post Tactic' tab, select 'Default Auto Tactic Profile (ML 800)' profile for auto-tactics. It is the same as the 'Default Auto Tactic Profile', except ML has a longer timeout (800 ms). You can of course change this timeout by editing the 'ML (800)' profile.

We have not noticed this problem for Linux 64-bit, nor for other platforms; however if you do, the same workaround applies.

=== Math fonts ===

To enhance your proving experience, the eclipse font settings (size, aspect...) are available from the preferences (General > Appearance > Colors and Fonts > Rodin). These settings allow you to modify the properties set on the Event-B Keyboard Text Font which is used in many views of the Proving UI. However, to enjoy these functionalities, you need to install the Brave Sans Mono font on your system. You can download this font from the link [http://sourceforge.net/projects/rodin-b-sharp/files/Font_%20Brave%20Sans%20Mono/0.12/ here].

== About ==

Rodin Platform with git commit: <code>77c3449</code><br/>
User Release date : 2021/05/17.

[[Category:Rodin Platform Release Notes]]

Rodin Platform 3.6 Release Notes

2021-05-19T14:46:47Z

Idir: /* Java Runtime requirement */

{{TOCright}}

== Installing ==

=== Downloading ===

[http://sourceforge.net/projects/rodin-b-sharp/files/Core_Rodin_Platform/3.6/ Download Rodin 3.6 now !]

=== Upgrading from a previous version of Rodin 3.x ===

If you run Rodin 3.1, 3.2, 3.3, 3.4 or 3.5, then you can upgrade your Rodin Platform by clicking Help > Check for Updates, then select Rodin 3.6 in the popup window and accept the licence terms. Note that the upgrading process can take quite a long time.

Take care that Rodin 3.6 brings a new version of Eclipse. This means that once you have opened a workspace with Rodin 3.6, you will not be able to open it with a prior version of Rodin anymore. Please consider copying your workspace for Rodin 3.6 to avoid any disaster.

If you run Rodin 3.0 or prior, you cannot upgrade to 3.6. 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 11 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 ===

The Rodin application is not notarized. This means that when you download it from SourceForge, macOS will quarantine the application and tell you that it is broken. Just run the command <code>xattr -rc Rodin.app</code> in a Terminal to remove the quarantine tag.

The Atelier B provers (not part of Rodin Platform, but very useful) do not work on macOS Catalina and newer. This is because they use a 32-bit binary program.

=== Linux specific requirements ===

Package <code>libc6-amd64:i386</code> must be installed, in particular in order to run external prover binaries depending on the distribution, you could instead need these packages: <code>lib32z1</code>, <code>lib32ncurses5</code>, <code>lib32bz2-1.0</code>.

=== Windows specific requirements ===
Atelier B provers may work more slowly; it can cause ML to not automatically discharge some sequents that it discharges on windows 32-bit, due to its timeout. A workaround is to download a custom profile: [http://sourceforge.net/projects/rodin-b-sharp/files/DefaultAuto_ML800 DefaultAuto_ML800], then Window > Preferences > Event-B > Sequent Prover > Auto/Post Tactic > Profiles (tab) > Import..., point to the downloaded file, 'Select All' profiles (there are 2), OK. Then in 'Auto/Post Tactic' tab, select 'Default Auto Tactic Profile (ML 800)' profile for auto-tactics. It is the same as the 'Default Auto Tactic Profile', except ML has a longer timeout (800 ms). You can of course change this timeout by editing the 'ML (800)' profile.

We have not noticed this problem for Linux 64-bit, nor for other platforms; however if you do, the same workaround applies.

=== Math fonts ===

To enhance your proving experience, the eclipse font settings (size, aspect...) are available from the preferences (General > Appearance > Colors and Fonts > Rodin). These settings allow you to modify the properties set on the Event-B Keyboard Text Font which is used in many views of the Proving UI. However, to enjoy these functionalities, you need to install the Brave Sans Mono font on your system. You can download this font from the link [http://sourceforge.net/projects/rodin-b-sharp/files/Font_%20Brave%20Sans%20Mono/0.12/ here].

== About ==

Rodin Platform with git commit: <code>77c3449</code><br/>
User Release date : 2021/05/17.

[[Category:Rodin Platform Release Notes]]

Rodin Platform 3.6 Release Notes

2021-05-19T14:46:27Z

Idir:

{{TOCright}}

== Installing ==

=== Downloading ===

[http://sourceforge.net/projects/rodin-b-sharp/files/Core_Rodin_Platform/3.6/ Download Rodin 3.6 now !]

=== Upgrading from a previous version of Rodin 3.x ===

If you run Rodin 3.1, 3.2, 3.3, 3.4 or 3.5, then you can upgrade your Rodin Platform by clicking Help > Check for Updates, then select Rodin 3.6 in the popup window and accept the licence terms. Note that the upgrading process can take quite a long time.

Take care that Rodin 3.6 brings a new version of Eclipse. This means that once you have opened a workspace with Rodin 3.6, you will not be able to open it with a prior version of Rodin anymore. Please consider copying your workspace for Rodin 3.6 to avoid any disaster.

If you run Rodin 3.0 or prior, you cannot upgrade to 3.6. 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 8 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 ===

The Rodin application is not notarized. This means that when you download it from SourceForge, macOS will quarantine the application and tell you that it is broken. Just run the command <code>xattr -rc Rodin.app</code> in a Terminal to remove the quarantine tag.

The Atelier B provers (not part of Rodin Platform, but very useful) do not work on macOS Catalina and newer. This is because they use a 32-bit binary program.

=== Linux specific requirements ===

Package <code>libc6-amd64:i386</code> must be installed, in particular in order to run external prover binaries depending on the distribution, you could instead need these packages: <code>lib32z1</code>, <code>lib32ncurses5</code>, <code>lib32bz2-1.0</code>.

=== Windows specific requirements ===
Atelier B provers may work more slowly; it can cause ML to not automatically discharge some sequents that it discharges on windows 32-bit, due to its timeout. A workaround is to download a custom profile: [http://sourceforge.net/projects/rodin-b-sharp/files/DefaultAuto_ML800 DefaultAuto_ML800], then Window > Preferences > Event-B > Sequent Prover > Auto/Post Tactic > Profiles (tab) > Import..., point to the downloaded file, 'Select All' profiles (there are 2), OK. Then in 'Auto/Post Tactic' tab, select 'Default Auto Tactic Profile (ML 800)' profile for auto-tactics. It is the same as the 'Default Auto Tactic Profile', except ML has a longer timeout (800 ms). You can of course change this timeout by editing the 'ML (800)' profile.

We have not noticed this problem for Linux 64-bit, nor for other platforms; however if you do, the same workaround applies.

=== Math fonts ===

To enhance your proving experience, the eclipse font settings (size, aspect...) are available from the preferences (General > Appearance > Colors and Fonts > Rodin). These settings allow you to modify the properties set on the Event-B Keyboard Text Font which is used in many views of the Proving UI. However, to enjoy these functionalities, you need to install the Brave Sans Mono font on your system. You can download this font from the link [http://sourceforge.net/projects/rodin-b-sharp/files/Font_%20Brave%20Sans%20Mono/0.12/ here].

== About ==

Rodin Platform with git commit: <code>77c3449</code><br/>
User Release date : 2021/05/17.

[[Category:Rodin Platform Release Notes]]

Rodin Platform 3.6 Release Notes

2021-05-17T11:58:22Z

Idir: /* Installing */

Rodin 64 bit

2021-05-17T10:13:28Z

Idir:

Template:Dev News

2021-05-17T10:12:10Z

Idir: /* Displayed as follow on the Main Page */

<noinclude>
[http://wiki.event-b.org/index.php?title=Template:Dev_News/Archives&action=edit Edit Archives]
== Displayed as follow on the Main Page ==
<div style="margin:0;width:50%;border:1px solid #AAAAAA;background:#FFFFFF;">
</noinclude>
<div style="font-size:90%;">
{| border="0"
|-
|<p style="font-size:35px">Rodin 3.6 is out   </p>
||<p style="font-size:25px">[[Rodin Platform 3.6 Release Notes | +Learn more... ]]</p>
<p style="font-size:25px">[http://sourceforge.net/projects/rodin-b-sharp/files/Core_Rodin_Platform/3.6/ Download now]</p>
|-
|}
* 17/05/21 : [http://sourceforge.net/projects/rodin-b-sharp/files/Core_Rodin_Platform/3.6/ Release 3.6] of Rodin is now available [[Rodin Platform 3.6 Release Notes | +Learn more]]
* 22/12/20 : [[Theory_Plug-in]] Theory 4.0.1 is now available
* 11/09/20 : [http://sourceforge.net/projects/rodin-b-sharp/files/Core_Rodin_Platform/3.5/ Release 3.5] of Rodin is now available [[Rodin Platform 3.5 Release Notes | +Learn more]]
* 07/03/18 : [http://sourceforge.net/projects/rodin-b-sharp/files/Core_Rodin_Platform/3.4/ Release 3.4] of Rodin is now available [[Rodin Platform 3.4 Release Notes | +Learn more]]
* 13/04/17 : [http://sourceforge.net/projects/rodin-b-sharp/files/Core_Rodin_Platform/3.3/ Release 3.3] of Rodin is now available [[Rodin Platform 3.3 Release Notes | +Learn more]]
* 22/06/15 : [http://sourceforge.net/projects/rodin-b-sharp/files/Core_Rodin_Platform/3.2/ Release 3.2] of Rodin is now available [[Rodin Platform 3.2 Release Notes | +Learn more]]
* 17/12/14 : [http://sourceforge.net/projects/rodin-b-sharp/files/Core_Rodin_Platform/3.1/ Release 3.1] of Rodin is now available [[Rodin Platform 3.1 Release Notes | +Learn more]]
* 25/03/14 : [http://sourceforge.net/projects/rodin-b-sharp/files/Core_Rodin_Platform/3.0/ Release 3.0] of Rodin is now available [[Rodin_Platform_3.0_Release_Notes | +Learn more]]
* 18/10/13 : [[SMT_Solvers_Plug-in]] SMT 1.1 is now available
* 20/06/13 : [https://sourceforge.net/projects/rodin-b-sharp/files/Core_Rodin_Platform/2.8/ Release 2.8] of Rodin is now available [[Rodin_Platform_2.8_Release_Notes | +Learn more]]
* 03/06/13 : [[SMT_Solvers_Plug-in]] SMT 1.0 is now available
* 06/11/12 : [http://sourceforge.net/projects/rodin-b-sharp/files/Core_Rodin_Platform/2.7/ Release 2.7] of Rodin is now available
* 03/08/12 : [http://sourceforge.net/projects/rodin-b-sharp/files/Core_Rodin_Platform/2.6/ Release 2.6] of Rodin is now available
* 02/05/12 : [http://sourceforge.net/projects/rodin-b-sharp/files/Core_Rodin_Platform/2.5/ Release 2.5] of Rodin is now available
* 03/02/12 : [http://sourceforge.net/projects/rodin-b-sharp/files/Core_Rodin_Platform/2.4/ Release 2.4] of Rodin is now available
* 01/12/11 : [[Rodin_Editor | Rodin Editor]] plug-in v0.6 released for Rodin 2.3
* 04/10/11 : [http://sourceforge.net/projects/rodin-b-sharp/files/Core_Rodin_Platform/2.3/ Release 2.3] of Rodin is now available
* 01/08/11 : [http://sourceforge.net/projects/rodin-b-sharp/files/Core_Rodin_Platform/2.2.2/ Release 2.2.2] of Rodin is now available
* 13/07/11 : [[Rodin_Editor | Rodin Editor]] plug-in released for Rodin 2.2.x
* 01/06/11 : [http://sourceforge.net/projects/rodin-b-sharp/files/Core_Rodin_Platform/2.2/ Release 2.2] of Rodin is now available

</div>
<noinclude>
</div>
[[Category:Main page templates]]
</noinclude>

Rodin Platform Releases

2021-05-17T10:08:12Z

Idir: /* Previous Releases */

{{TOCright}}

== Current Release ==
<p style="font-size:14pt">The current version of Rodin release is [[Rodin Platform 3.6 Release Notes|3.6]]. It has been published on 2021-05-17. Installation and Release Notes can be found [http://wiki.event-b.org/index.php/Rodin_Platform_3.6_Release_Notes here]</p>

== Current plug-ins ==
{{:Rodin_Platform_3.5.0_External_Plug-ins}}

== Previous Releases ==

{{SimpleHeader}}
|-
! scope=col | Version || Release Date
|-
|[[Rodin Platform 3.6 Release Notes|3.6]] || 2021/05/17
|-
|[[Rodin Platform 3.5 Release Notes|3.5]] || 2020/09/11
|-
|[[Rodin Platform 3.4 Release Notes|3.4]] || 2018/02/23
|-
|[[Rodin Platform 3.3 Release Notes|3.3]] || 2017/04/05
|-
|[[Rodin Platform 3.2 Release Notes|3.2]] || 2015/09/22
|-
|[[Rodin Platform 3.1 Release Notes|3.1]] || 2014/12/17
|-
|[[Rodin Platform 3.0 Release Notes|3.0]] || 2014/03/25
|-
|[[Rodin Platform 2.8 Release Notes|2.8]] || 2013/06/20
|-
|[[Rodin Platform 2.7 Release Notes|2.7]] || 2012/11/06
|-
|[[Rodin Platform 2.6 Release Notes|2.6]] || 2012/08/03
|-
|[[Rodin Platform 2.5 Release Notes|2.5]] || 2012/05/02
|-
|[[Rodin Platform 2.4 Release Notes|2.4]] || 2011/01/31
|-
|[[Rodin Platform 2.3 Release Notes|2.3]] || 2011/10/04
|-
|[[Rodin Platform 2.2.2 Release Notes|2.2.2]] || 2011/08/01
|-
|[[Rodin Platform 2.2 Release Notes|2.2]] || 2011/06/01
|-
|[[Rodin Platform 2.1.1 Release Notes|2.1.1]] || 2011/03/15
|-
|[[Rodin Platform 2.1 Release Notes|2.1]] || 2011/02/08
|-
|[[Rodin Platform 2.0.1 Release Notes|2.0.1]] || 2010/11/16
|-
|[[Rodin Platform 2.0 Release Notes|2.0]] || 2010/10/08
|-
|[[Rodin Platform 1.3.1 Release Notes|1.3.1]] || 2010/06/15
|-
|[[Rodin Platform 1.3 Release Notes|1.3]] || 2010/05/05
|-
|[[Rodin Platform 1.2 Release Notes|1.2]] || 2010/02/05
|-
|[[Rodin Platform 1.1 Release Notes|1.1]] || 2009/10/15
|-
|[https://sourceforge.net/projects/rodin-b-sharp/files/Core_%20Rodin%20Platform/1.0/ 1.0] || 2009/07/01
|}

== Release Policy ==
* The Rodin platform is released on an irregular basis.
* The code is frozen during the 2 weeks preceding each release.
* Each release is announced on the [[Mailing_lists | Devel]] mailing list. Two days later, the information is broadcasted on the [[Mailing_lists | Announce]] and [[Mailing_lists | User]] mailing lists.
* The [http://wiki.eclipse.org/index.php/Version_Numbering Eclipse versioning policy] is enforced.
* The optional plug-ins shall strive to meet the release date: the release will not be held back.
* The news related to the optional plug-ins are spread on the [[Mailing_lists | Announce]] and [[Mailing_lists | User]] mailing lists.
* A wiki page is dedicated to each release. Select a version from the lists below to see the corresponding release notes.
* The maintainers of the optional plug-ins shall update the ''External Plug-ins'' page of the concerned release once they have ensured the compatibility of their plug-ins with the Rodin platform.
: To indicate that the plug-in is released and compatible with the current platform, please use the following template:
<nowiki>| [[Image:My_plug-in_logo|30px]] || [[My plug-in info page link | My plug-in]] || version || <span style="color:#006400">available</span> || || contact address || Additional notes about the plugin</nowiki>
: To indicate that the plug-in is not yet available and will be released at a later date, please use the following template:
<nowiki>| [[Image:My_plug-in_logo|30px]] || [[My plug-in info page link | My plug-in]] || version || <span style="color:#8B4513"> not available</span> || expected_release_date || contact address || Additional notes</nowiki>
: To indicate that the plug-in is no longer maintained for the next version:
<nowiki>| [[Image:My_plug-in_logo|30px]] || [[My plug-in info page link | My plug-in]] || version || <span style="color:#FF0000">not maintained</span> || || contact address|| Additional notes</nowiki>
* The compatibility is preserved upwardly throught model and proof upward compatibility. However, this compatibility is ensured on models and proofs (not on plaform preferences, etc.).
Also, only the latest version is maintained (i.e. there is no maintenance of old releases).

[[Category:Rodin Platform Release Notes]]
[[Category:Rodin Platform]]
[[Category:Release Notes]]

Rodin Platform Releases

2021-05-17T10:06:28Z

Idir: /* Current Release */

{{TOCright}}

== Current Release ==
<p style="font-size:14pt">The current version of Rodin release is [[Rodin Platform 3.6 Release Notes|3.6]]. It has been published on 2021-05-17. Installation and Release Notes can be found [http://wiki.event-b.org/index.php/Rodin_Platform_3.6_Release_Notes here]</p>

== Current plug-ins ==
{{:Rodin_Platform_3.5.0_External_Plug-ins}}

== Previous Releases ==

{{SimpleHeader}}
|-
! scope=col | Version || Release Date
|-
|[[Rodin Platform 3.4 Release Notes|3.4]] || 2018/02/23
|-
|[[Rodin Platform 3.3 Release Notes|3.3]] || 2017/04/05
|-
|[[Rodin Platform 3.2 Release Notes|3.2]] || 2015/09/22
|-
|[[Rodin Platform 3.1 Release Notes|3.1]] || 2014/12/17
|-
|[[Rodin Platform 3.0 Release Notes|3.0]] || 2014/03/25
|-
|[[Rodin Platform 2.8 Release Notes|2.8]] || 2013/06/20
|-
|[[Rodin Platform 2.7 Release Notes|2.7]] || 2012/11/06
|-
|[[Rodin Platform 2.6 Release Notes|2.6]] || 2012/08/03
|-
|[[Rodin Platform 2.5 Release Notes|2.5]] || 2012/05/02
|-
|[[Rodin Platform 2.4 Release Notes|2.4]] || 2011/01/31
|-
|[[Rodin Platform 2.3 Release Notes|2.3]] || 2011/10/04
|-
|[[Rodin Platform 2.2.2 Release Notes|2.2.2]] || 2011/08/01
|-
|[[Rodin Platform 2.2 Release Notes|2.2]] || 2011/06/01
|-
|[[Rodin Platform 2.1.1 Release Notes|2.1.1]] || 2011/03/15
|-
|[[Rodin Platform 2.1 Release Notes|2.1]] || 2011/02/08
|-
|[[Rodin Platform 2.0.1 Release Notes|2.0.1]] || 2010/11/16
|-
|[[Rodin Platform 2.0 Release Notes|2.0]] || 2010/10/08
|-
|[[Rodin Platform 1.3.1 Release Notes|1.3.1]] || 2010/06/15
|-
|[[Rodin Platform 1.3 Release Notes|1.3]] || 2010/05/05
|-
|[[Rodin Platform 1.2 Release Notes|1.2]] || 2010/02/05
|-
|[[Rodin Platform 1.1 Release Notes|1.1]] || 2009/10/15
|-
|[https://sourceforge.net/projects/rodin-b-sharp/files/Core_%20Rodin%20Platform/1.0/ 1.0] || 2009/07/01
|}

== Release Policy ==
* The Rodin platform is released on an irregular basis.
* The code is frozen during the 2 weeks preceding each release.
* Each release is announced on the [[Mailing_lists | Devel]] mailing list. Two days later, the information is broadcasted on the [[Mailing_lists | Announce]] and [[Mailing_lists | User]] mailing lists.
* The [http://wiki.eclipse.org/index.php/Version_Numbering Eclipse versioning policy] is enforced.
* The optional plug-ins shall strive to meet the release date: the release will not be held back.
* The news related to the optional plug-ins are spread on the [[Mailing_lists | Announce]] and [[Mailing_lists | User]] mailing lists.
* A wiki page is dedicated to each release. Select a version from the lists below to see the corresponding release notes.
* The maintainers of the optional plug-ins shall update the ''External Plug-ins'' page of the concerned release once they have ensured the compatibility of their plug-ins with the Rodin platform.
: To indicate that the plug-in is released and compatible with the current platform, please use the following template:
<nowiki>| [[Image:My_plug-in_logo|30px]] || [[My plug-in info page link | My plug-in]] || version || <span style="color:#006400">available</span> || || contact address || Additional notes about the plugin</nowiki>
: To indicate that the plug-in is not yet available and will be released at a later date, please use the following template:
<nowiki>| [[Image:My_plug-in_logo|30px]] || [[My plug-in info page link | My plug-in]] || version || <span style="color:#8B4513"> not available</span> || expected_release_date || contact address || Additional notes</nowiki>
: To indicate that the plug-in is no longer maintained for the next version:
<nowiki>| [[Image:My_plug-in_logo|30px]] || [[My plug-in info page link | My plug-in]] || version || <span style="color:#FF0000">not maintained</span> || || contact address|| Additional notes</nowiki>
* The compatibility is preserved upwardly throught model and proof upward compatibility. However, this compatibility is ensured on models and proofs (not on plaform preferences, etc.).
Also, only the latest version is maintained (i.e. there is no maintenance of old releases).

[[Category:Rodin Platform Release Notes]]
[[Category:Rodin Platform]]
[[Category:Release Notes]]

Rodin Platform 3.6 Release Notes

2021-05-17T10:03:27Z

Idir:

{{TOCright}}

== Installing ==

=== Downloading ===

[http://sourceforge.net/projects/rodin-b-sharp/files/Core_Rodin_Platform/3.6/ Download Rodin 3.6 now !]

== About ==

Rodin Platform with git commit: <code>77c3449</code><br/>
User Release date : 2021/05/17.

[[Category:Rodin Platform Release Notes]]

Rodin Platform 3.6 Release Notes

2021-05-17T10:00:23Z

Idir: /* Downloading */

== Installing ==

=== Downloading ===

[http://sourceforge.net/projects/rodin-b-sharp/files/Core_Rodin_Platform/3.6/ Download Rodin 3.6 now !]

Rodin Platform 3.6 Release Notes

2021-05-17T10:00:03Z

Idir: Created page with "== Installing == === Downloading === [http://sourceforge.net/projects/rodin-b-sharp/files/Core_Rodin_Platform/3.5/ Download Rodin 3.5 now !]"

== Installing ==

=== Downloading ===

[http://sourceforge.net/projects/rodin-b-sharp/files/Core_Rodin_Platform/3.5/ Download Rodin 3.5 now !]

Template:Dev News

2021-05-17T09:14:56Z

Idir: /* Displayed as follow on the Main Page */

<noinclude>
[http://wiki.event-b.org/index.php?title=Template:Dev_News/Archives&action=edit Edit Archives]
== Displayed as follow on the Main Page ==
<div style="margin:0;width:50%;border:1px solid #AAAAAA;background:#FFFFFF;">
</noinclude>
<div style="font-size:90%;">
{| border="0"
|-
|<p style="font-size:35px">Rodin 3.6 is out   </p>
||<p style="font-size:25px">[[Rodin Platform 3.6 Release Notes | +Learn more... ]]</p>
<p style="font-size:25px">[http://sourceforge.net/projects/rodin-b-sharp/files/Core_Rodin_Platform/3.6/ Download now]</p>
|-
|}
* 17/05/21 : [http://sourceforge.net/projects/rodin-b-sharp/files/Core_Rodin_Platform/3.6/ Release 3.6] of Rodin is now available
* 22/12/20 : [[Theory_Plug-in]] Theory 4.0.1 is now available
* 11/09/20 : [http://sourceforge.net/projects/rodin-b-sharp/files/Core_Rodin_Platform/3.5/ Release 3.5] of Rodin is now available [[Rodin Platform 3.5 Release Notes | +Learn more]]
* 07/03/18 : [http://sourceforge.net/projects/rodin-b-sharp/files/Core_Rodin_Platform/3.4/ Release 3.4] of Rodin is now available [[Rodin Platform 3.4 Release Notes | +Learn more]]
* 13/04/17 : [http://sourceforge.net/projects/rodin-b-sharp/files/Core_Rodin_Platform/3.3/ Release 3.3] of Rodin is now available [[Rodin Platform 3.3 Release Notes | +Learn more]]
* 22/06/15 : [http://sourceforge.net/projects/rodin-b-sharp/files/Core_Rodin_Platform/3.2/ Release 3.2] of Rodin is now available [[Rodin Platform 3.2 Release Notes | +Learn more]]
* 17/12/14 : [http://sourceforge.net/projects/rodin-b-sharp/files/Core_Rodin_Platform/3.1/ Release 3.1] of Rodin is now available [[Rodin Platform 3.1 Release Notes | +Learn more]]
* 25/03/14 : [http://sourceforge.net/projects/rodin-b-sharp/files/Core_Rodin_Platform/3.0/ Release 3.0] of Rodin is now available [[Rodin_Platform_3.0_Release_Notes | +Learn more]]
* 18/10/13 : [[SMT_Solvers_Plug-in]] SMT 1.1 is now available
* 20/06/13 : [https://sourceforge.net/projects/rodin-b-sharp/files/Core_Rodin_Platform/2.8/ Release 2.8] of Rodin is now available [[Rodin_Platform_2.8_Release_Notes | +Learn more]]
* 03/06/13 : [[SMT_Solvers_Plug-in]] SMT 1.0 is now available
* 06/11/12 : [http://sourceforge.net/projects/rodin-b-sharp/files/Core_Rodin_Platform/2.7/ Release 2.7] of Rodin is now available
* 03/08/12 : [http://sourceforge.net/projects/rodin-b-sharp/files/Core_Rodin_Platform/2.6/ Release 2.6] of Rodin is now available
* 02/05/12 : [http://sourceforge.net/projects/rodin-b-sharp/files/Core_Rodin_Platform/2.5/ Release 2.5] of Rodin is now available
* 03/02/12 : [http://sourceforge.net/projects/rodin-b-sharp/files/Core_Rodin_Platform/2.4/ Release 2.4] of Rodin is now available
* 01/12/11 : [[Rodin_Editor | Rodin Editor]] plug-in v0.6 released for Rodin 2.3
* 04/10/11 : [http://sourceforge.net/projects/rodin-b-sharp/files/Core_Rodin_Platform/2.3/ Release 2.3] of Rodin is now available
* 01/08/11 : [http://sourceforge.net/projects/rodin-b-sharp/files/Core_Rodin_Platform/2.2.2/ Release 2.2.2] of Rodin is now available
* 13/07/11 : [[Rodin_Editor | Rodin Editor]] plug-in released for Rodin 2.2.x
* 01/06/11 : [http://sourceforge.net/projects/rodin-b-sharp/files/Core_Rodin_Platform/2.2/ Release 2.2] of Rodin is now available

</div>
<noinclude>
</div>
[[Category:Main page templates]]
</noinclude>

Template:Dev News

2021-05-17T09:14:14Z

Idir: /* Displayed as follow on the Main Page */

<noinclude>
[http://wiki.event-b.org/index.php?title=Template:Dev_News/Archives&action=edit Edit Archives]
== Displayed as follow on the Main Page ==
<div style="margin:0;width:50%;border:1px solid #AAAAAA;background:#FFFFFF;">
</noinclude>
<div style="font-size:90%;">
{| border="0"
|-
|<p style="font-size:35px">Rodin 3.6 is out   </p>
||<p style="font-size:25px">[[Rodin Platform 3.6 Release Notes | +Learn more... ]]</p>
<p style="font-size:25px">[http://sourceforge.net/projects/rodin-b-sharp/files/Core_Rodin_Platform/3.6/ Download now]</p>
|-
|}
* 11/09/20 : [http://sourceforge.net/projects/rodin-b-sharp/files/Core_Rodin_Platform/3.6/ Release 3.6] of Rodin is now available
* 22/12/20 : [[Theory_Plug-in]] Theory 4.0.1 is now available
* 11/09/20 : [http://sourceforge.net/projects/rodin-b-sharp/files/Core_Rodin_Platform/3.5/ Release 3.5] of Rodin is now available [[Rodin Platform 3.5 Release Notes | +Learn more]]
* 07/03/18 : [http://sourceforge.net/projects/rodin-b-sharp/files/Core_Rodin_Platform/3.4/ Release 3.4] of Rodin is now available [[Rodin Platform 3.4 Release Notes | +Learn more]]
* 13/04/17 : [http://sourceforge.net/projects/rodin-b-sharp/files/Core_Rodin_Platform/3.3/ Release 3.3] of Rodin is now available [[Rodin Platform 3.3 Release Notes | +Learn more]]
* 22/06/15 : [http://sourceforge.net/projects/rodin-b-sharp/files/Core_Rodin_Platform/3.2/ Release 3.2] of Rodin is now available [[Rodin Platform 3.2 Release Notes | +Learn more]]
* 17/12/14 : [http://sourceforge.net/projects/rodin-b-sharp/files/Core_Rodin_Platform/3.1/ Release 3.1] of Rodin is now available [[Rodin Platform 3.1 Release Notes | +Learn more]]
* 25/03/14 : [http://sourceforge.net/projects/rodin-b-sharp/files/Core_Rodin_Platform/3.0/ Release 3.0] of Rodin is now available [[Rodin_Platform_3.0_Release_Notes | +Learn more]]
* 18/10/13 : [[SMT_Solvers_Plug-in]] SMT 1.1 is now available
* 20/06/13 : [https://sourceforge.net/projects/rodin-b-sharp/files/Core_Rodin_Platform/2.8/ Release 2.8] of Rodin is now available [[Rodin_Platform_2.8_Release_Notes | +Learn more]]
* 03/06/13 : [[SMT_Solvers_Plug-in]] SMT 1.0 is now available
* 06/11/12 : [http://sourceforge.net/projects/rodin-b-sharp/files/Core_Rodin_Platform/2.7/ Release 2.7] of Rodin is now available
* 03/08/12 : [http://sourceforge.net/projects/rodin-b-sharp/files/Core_Rodin_Platform/2.6/ Release 2.6] of Rodin is now available
* 02/05/12 : [http://sourceforge.net/projects/rodin-b-sharp/files/Core_Rodin_Platform/2.5/ Release 2.5] of Rodin is now available
* 03/02/12 : [http://sourceforge.net/projects/rodin-b-sharp/files/Core_Rodin_Platform/2.4/ Release 2.4] of Rodin is now available
* 01/12/11 : [[Rodin_Editor | Rodin Editor]] plug-in v0.6 released for Rodin 2.3
* 04/10/11 : [http://sourceforge.net/projects/rodin-b-sharp/files/Core_Rodin_Platform/2.3/ Release 2.3] of Rodin is now available
* 01/08/11 : [http://sourceforge.net/projects/rodin-b-sharp/files/Core_Rodin_Platform/2.2.2/ Release 2.2.2] of Rodin is now available
* 13/07/11 : [[Rodin_Editor | Rodin Editor]] plug-in released for Rodin 2.2.x
* 01/06/11 : [http://sourceforge.net/projects/rodin-b-sharp/files/Core_Rodin_Platform/2.2/ Release 2.2] of Rodin is now available

</div>
<noinclude>
</div>
[[Category:Main page templates]]
</noinclude>