Rodin Platform 3.0 Release Notes: Difference between revisions

Revision as of 11:38, 17 March 2014

Rodin 3.0 IS NOT YET AVAILABLE.
This release is planned for beginning of 2014.

For developers, there are API evolutions, see Rodin 3.0 Plug-in Migration Guide.

Release Notes are commented on this page here below.
Uncomment when finishing edition.

@@ Line 56: / Line 56: @@
 {{TODO | VERIFY/COMPLETE REQUIREMENTS ABOVE}}<br>
 {{TODO | Inform here of some specific system requirements}}
+* Linux 64-bit:
+: package libc6-amd64:i386 must be installed, in particular in order to run external prover binaries
+* Windows 64-bit:
+: 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.
 == External plug-ins ==