Rodin Platform 3.6 Release Notes - Revision history

Idir at 14:09, 25 May 2021

2021-05-25T14:09:49Z

← Older revision		Revision as of 14:09, 25 May 2021
Line 1:		Line 1:
	{{TOCright}}		{{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 ==		== Installing ==

Idir at 14:50, 19 May 2021

2021-05-19T14:50:58Z

← Older revision		Revision as of 14:50, 19 May 2021
Line 45:		Line 45:

	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].		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 ==		== About ==

Idir: /* macOS specific requirements */

2021-05-19T14:47:24Z

macOS specific requirements

← Older revision		Revision as of 14:47, 19 May 2021
Line 32:		Line 32:

	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 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 ===		=== Linux specific requirements ===

Idir: /* Java Runtime requirement */

2021-05-19T14:46:47Z

Java Runtime requirement

← Older revision		Revision as of 14:46, 19 May 2021
Line 27:		Line 27:
	=== Java Runtime requirement ===		=== 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.		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 ===		=== macOS specific requirements ===

Idir at 14:46, 19 May 2021

2021-05-19T14:46:27Z

← Older revision		Revision as of 14:46, 19 May 2021
Line 15:		Line 15:

	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.		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 ==		== About ==

Idir: /* Installing */

2021-05-17T11:58:22Z

Installing

← Older revision		Revision as of 11:58, 17 May 2021
Line 7:		Line 7:

	[http://sourceforge.net/projects/rodin-b-sharp/files/Core_Rodin_Platform/3.6/ Download Rodin 3.6 now !]		[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.

	== About ==		== About ==

Idir at 10:03, 17 May 2021

2021-05-17T10:03:27Z

← Older revision		Revision as of 10:03, 17 May 2021
Line 1:		Line 1:
			{{TOCright}}


	== Installing ==		== Installing ==

Line 4:		Line 7:

	[http://sourceforge.net/projects/rodin-b-sharp/files/Core_Rodin_Platform/3.6/ Download Rodin 3.6 now !]		[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]]

Idir: /* Downloading */

2021-05-17T10:00:23Z

Downloading

← Older revision		Revision as of 10:00, 17 May 2021
Line 3:		Line 3:
	=== Downloading ===		=== Downloading ===

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

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

2021-05-17T10:00:03Z

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

New page

== Installing ==

=== Downloading ===

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