Search results
From Event-B
Jump to navigationJump to searchCreate the page "Rodin Platform Release Notes" on this wiki! See also the search results found.
- == What's New in Rodin 2.1? == ...e already part of this release which affect the overall performance of the platform.10 KB (1,277 words) - 13:45, 26 July 2011
- ...ons corresponding to scopes of the toolset. These sections are: core Rodin platform, UML-B improvements, code generation, ProR and Camille. All these subsectio = Core Rodin platform =20 KB (3,030 words) - 13:18, 18 July 2012
- For developers, see [[Rodin 3.0 Plug-in Migration Guide]]. == What's New in Rodin 3.0? ==8 KB (1,195 words) - 16:35, 9 July 2014
- ==The main Rodin Update Site description== ...Main Rodin update site is maintained on the sourceforge web pages for the rodin-b-sharp project. It is xml file available at : /htdocs/updates/site.xml39 KB (4,626 words) - 08:33, 6 April 2012
- == What's New in Rodin 2.3? == ...your workspace and exported projects to Rodin < 2.3 after using them with Rodin 2.3).11 KB (1,401 words) - 09:39, 8 November 2011
- == What's New in Rodin 2.7 == Rodin 2.7 is a maintenance release including most of all bug fixes.10 KB (1,301 words) - 07:11, 29 August 2013
- This part describes the general maintenance performed on the Rodin toolset within the second year of the ADVANCE project. As the maintenance i == Core Rodin platform ==16 KB (2,554 words) - 14:05, 8 October 2013
- == What's New in Rodin 1.2? == :In the previous release, it was possible to mark an Event-B machine/context as generated, in order11 KB (1,488 words) - 10:06, 28 July 2010
- == What's New in Rodin 2.2? == ...rmance.''' The build time has been decreased by about 40% on average since Rodin 2.0.10 KB (1,354 words) - 13:31, 1 July 2011
- == What's New in Rodin 2.6? == ** The Rodin Editor that is part of the Rodin core platform since version 2.4 has been improved for a better modelling experience.<br>10 KB (1,328 words) - 16:14, 3 August 2012
- == What's New in Rodin 2.4? == From this release on, the Rodin platform is also provided for [[Rodin 64 bit|64-bit]] Windows and Linux OSes.11 KB (1,542 words) - 08:35, 1 March 2012
- Performance measures for the Rodin Platform. ! scope=col | Rodin 1.37 KB (787 words) - 08:43, 17 June 2011
- # Download Rodin for your platform from [http://sourceforge.net/project/showfiles.php?group_id=108850&package_ # Start Rodin from the folder where you extracted the zip file in the previous step.17 KB (2,521 words) - 15:25, 4 July 2013
- == What's New in Rodin 2.5? == ...s''': it will be possible to upgrade to further releases of the core Rodin platform directly from the tool.11 KB (1,478 words) - 17:32, 2 May 2012
- == Code Generation for Co-simulation using FMI - Rodin 2.8 == http://sourceforge.net/p/rodin-b-sharp/CodeGen/ci/master/tree/TaskingEventB/17 KB (2,568 words) - 09:03, 19 October 2015
- == What's New in Rodin 1.1? == * [[Rodin_Keyboard | Rodin Keyboard]]9 KB (1,298 words) - 10:06, 28 July 2010
- = Core Platform Maintenance = The Rodin platform versions concerned by this deliverable are:35 KB (5,228 words) - 10:12, 23 April 2012
- == What's New in Rodin 2.0? == :'''Mathematical Extensions'''. Rodin was extended to allow definition of basic predicates, new operators or new15 KB (2,008 words) - 15:34, 10 January 2011
- == What's New in Rodin 1.3? == ...sing only'''. Project subfolders and their contents are now considered non Rodin contents. As a consequence, models placed in subfolders are not checked for12 KB (1,642 words) - 13:21, 28 July 2010
- ...ewriting and inference rules has always been a regular task to enhance the Rodin integrated prover during DEPLOY lifetime, a new way to manage tactics has b The SMT Solvers plug-in allowing to use the SMT solvers within Rodin is an effective alternative to the Atelier-B provers, particularly when rea21 KB (3,334 words) - 21:20, 20 April 2012