Difference between revisions of "Rodin Platform 3.0 Release Notes"

From Event-B
Jump to navigationJump to search
imported>Nicolas
m
imported>Nicolas
m (add 64 bit requirements)
Line 56: Line 56:
 
{{TODO | VERIFY/COMPLETE REQUIREMENTS ABOVE}}<br>
 
{{TODO | VERIFY/COMPLETE REQUIREMENTS ABOVE}}<br>
 
{{TODO | Inform here of some specific system requirements}}
 
{{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 ==
 
== External plug-ins ==

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.