Rodin Platform 2.8 Release Notes - Revision history

imported>Andy: /* Requirements - Compatibility */

2014-07-09T16:25:19Z

Requirements - Compatibility

← Older revision		Revision as of 16:25, 9 July 2014
Line 23:		Line 23:
	* Linux 64-bit:		* Linux 64-bit:
	: package ia32-libs (and its dependencies) must be installed.		: package ia32-libs (and its dependencies) must be installed.
			: For Ubuntu 13.10+, you can install the necessary libraries using "sudo apt-get install -y lib32z1 lib32ncurses5 lib32bz2-1.0"
			: - since ia32-libs is deprecated.

	* Windows 64-bit:		* Windows 64-bit:

imported>Nicolas: /* Known Issues */

2013-06-21T13:15:28Z

Known Issues

← Older revision		Revision as of 13:15, 21 June 2013
Line 100:		Line 100:
	== Known Issues ==		== Known Issues ==
	See [http://sourceforge.net/p/rodin-b-sharp/bugs/search/?q=status%3Aopen known bugs on SourceForge].		See [http://sourceforge.net/p/rodin-b-sharp/bugs/search/?q=status%3Aopen known bugs on SourceForge].

			On Linux platforms, a crash may occur when closing the Welcome page. After restarting Rodin, everything works fine.<br/>
			This is a known Eclipse bug: [https://bugs.eclipse.org/bugs/show_bug.cgi?id=400626]

	== Disclaimer ==		== Disclaimer ==

imported>Nicolas at 17:02, 20 June 2013

2013-06-20T17:02:50Z

← Older revision		Revision as of 17:02, 20 June 2013
Line 27:		Line 27:
	: Atelier B provers 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.		: Atelier B provers 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.		: We have not noticed this problem for Linux 64-bit, nor for other platforms; however if you do, the same workaround applies.

	~~== External plug-ins ==~~
	~~{{:Rodin_Platform_2.8.0_External_Plug-ins}}~~

	== Installing ==		== Installing ==
Line 59:		Line 56:
	: "Rodin Platform" is already installed, so an update will be performed instead.		: "Rodin Platform" is already installed, so an update will be performed instead.
	* click Next, accept license, finish and restart		* click Next, accept license, finish and restart

			== External plug-ins ==
			{{:Rodin_Platform_2.8.0_External_Plug-ins}}

	== Fixed Bugs & Implemented Features ==		== Fixed Bugs & Implemented Features ==

imported>Nicolas: /* Upgrading from Rodin 2.7 */

2013-06-20T16:24:52Z

Upgrading from Rodin 2.7

← Older revision		Revision as of 16:24, 20 June 2013
Line 45:		Line 45:
	* launch Rodin 2.7		* launch Rodin 2.7
	* Help > Install New Software... > Add... > enter a name (for instance "Rodin 2.8") then		* Help > Install New Software... > Add... > enter a name (for instance "Rodin 2.8") then
	: Archive... > select the rodin-2.7-repo.zip archive		: Archive... > select the rodin-2.8-repo.zip archive
	: Mac users may have to use Local... then point to archive root directory, in case the archive was automatically unzipped		: Mac users may have to use Local... then point to archive root directory, in case the archive was automatically unzipped
	* set options in the bottom of the page:		* set options in the bottom of the page:

imported>Nicolas: /* Known Issues */ Fixed request

2013-06-20T16:24:17Z

Known Issues: Fixed request

← Older revision		Revision as of 16:24, 20 June 2013
Line 99:		Line 99:

	== Known Issues ==		== Known Issues ==
	See [http://sourceforge.net/p/rodin-b-sharp/bugs/search/?q=!status%3Aclosed-wont-fix+%26%26+!status%3Aclosed-later+%26%26+!status%3Aclosed-accepted+%26%26+!status%3Aclosed-duplicate+%26%26+!status%3Aclosed-out-of-date+%26%26+!status%3Aclosed-postponed+%26%26+!status%3Aclosed-rejected+%26%26+!status%3Aclosed-works-for-me+%26%26+!status%3Aclosed+%26%26+!status%3Aclosed-invalid+%26%26+!status%3Aclosed-fixed\|known bugs on SourceForge].		See [http://sourceforge.net/p/rodin-b-sharp/bugs/search/?q=status%3Aopen known bugs on SourceForge].

	== Disclaimer ==		== Disclaimer ==

imported>Nicolas: /* Known Issues */ Replace by request on SourceForge

2013-06-20T16:03:23Z

Known Issues: Replace by request on SourceForge

@@ Line 99: / Line 99: @@
 == Known Issues ==
-<pre>
+See [http://sourceforge.net/p/rodin-b-sharp/bugs/search/?q=!status%3Aclosed-wont-fix+%26%26+!status%3Aclosed-later+%26%26+!status%3Aclosed-accepted+%26%26+!status%3Aclosed-duplicate+%26%26+!status%3Aclosed-out-of-date+%26%26+!status%3Aclosed-postponed+%26%26+!status%3Aclosed-rejected+%26%26+!status%3Aclosed-works-for-me+%26%26+!status%3Aclosed+%26%26+!status%3Aclosed-invalid+%26%26+!status%3Aclosed-fixed|known bugs on SourceForge].
 == Disclaimer ==

imported>Nicolas: /* About */

2013-06-20T16:00:52Z

About

← Older revision		Revision as of 16:00, 20 June 2013
Line 211:		Line 211:

	== About ==		== About ==
	~~{{TODO \| Change versions}}~~
	Rodin Platform ~~up to~~ .<br>		Rodin Platform with git commit 66956b4.<br>
	Developer Release date : 2013-05-07. (~~$RC1_VERSION$~~)<br>		Developer Release date : 2013-05-07. (2.8RC1)<br>
	User Release date : 2013-05-xx. (~~$FINAL_VERSION$~~)		User Release date : 2013-06-20. (2.8)

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

imported>Nicolas: /* Known Issues */

2013-06-20T15:57:38Z

Known Issues

@@ Line 99: / Line 99: @@
 == Known Issues ==
-{{TODO | Add here a list of the fixed bugs.}}
+<pre>
 == Disclaimer ==

imported>Nicolas: /* Fixed Bugs & Implemented Features */ Added feature requests

2013-06-20T15:49:10Z

Fixed Bugs & Implemented Features: Added feature requests

← Older revision		Revision as of 15:49, 20 June 2013
Line 61:		Line 61:

	== Fixed Bugs & Implemented Features ==		== Fixed Bugs & Implemented Features ==
	~~{{TODO \| Add here a list of the fixed bugs.}}~~

	Bugs		Bugs
Line 95:		Line 95:

	Feature Requests		Feature Requests
			311 Apply Remove Membership in Goal only once
			119 non-emptiness of a set of total functions

	== Known Issues ==		== Known Issues ==

imported>Nicolas: /* Fixed Bugs & Implemented Features */ Added bugs

2013-06-20T15:43:01Z

Fixed Bugs & Implemented Features: Added bugs

@@ Line 62: / Line 62: @@
 == Fixed Bugs & Implemented Features ==
 {{TODO | Add here a list of the fixed bugs.}}
 == Known Issues ==