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.
Page title matches
- == What's New in Rodin 1.1? == * [[Rodin_Keyboard | Rodin Keyboard]]9 KB (1,298 words) - 10:06, 28 July 2010
- == 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
- ...ble with Rodin 1.3 both at the plug-in and user level. In particular, this release does not contain any fancy enhancement that could hinder compatibility. See the [[Rodin Platform 1.3 Release Notes|Rodin Platform 1.3 Release Notes]].651 bytes (84 words) - 18:41, 22 February 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
- For information on main changes since Rodin 1.3, or about available plug-ins, see [[Rodin_Platform_2.0_Release_Notes]]. == What's New in Rodin 2.0.1? ==2 KB (248 words) - 15:58, 16 November 2010
- == 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
- Rodin 2.1.1 is a maintenance release: as such, it contains only bug fixes. For more information, see [[Rodin_Pla == What's New in Rodin 2.1.1 ? ==3 KB (395 words) - 13:15, 1 June 2011
- == 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
- ...tirely fix the bug described below, use [[Rodin_Platform_2.2_Release_Notes|Rodin 2.2.2]] instead ! Rodin 2.2.1 is a maintenance release: as such, it contains only bug fixes. For more information, see [[Rodin_Pla3 KB (398 words) - 15:31, 22 July 2011
- Rodin 2.2.2 is a maintenance release: as such, it contains only bug fixes. For more information, see [[Rodin_Pla == What's New in Rodin 2.2.2 ? ==4 KB (515 words) - 08:41, 1 August 2011
- == 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.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.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
- == 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
- == 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.7 == Rodin 2.7 is a maintenance release including most of all bug fixes.10 KB (1,301 words) - 07:11, 29 August 2013
- == What's New in Rodin 2.8 == Rodin 2.8 is a maintenance release including most of all bug fixes.6 KB (899 words) - 16:25, 9 July 2014
- 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
- == What's New in Rodin 3.1? == *'''Show/Hide''' elements inherited from abstractions in Rodin Editor (abstract invariants/guards/…):6 KB (909 words) - 13:48, 17 December 2014
- == What's New in Rodin 3.2? == Rodin 3.2 is mainly a corrective version of the Rodin platform which solves stability and usability issues.9 KB (1,317 words) - 11:09, 6 July 2017
- == What's New in Rodin 3.3? == Rodin 3.3 is mainly a corrective version of the Rodin platform which solves stability and usability issues, especially concerning the Theo7 KB (1,079 words) - 13:54, 12 July 2017
- == What's New in Rodin 3.4? == Rodin 3.4 is mostly contains bug fixes, and upgrades the underlying Eclipse to Ox5 KB (758 words) - 16:28, 7 March 2018
- ...rent/html/files/EventB-Summary.pdf Event-B Cheat Sheet] available with the Rodin handbook. == What's New in Rodin 3.5? ==8 KB (1,249 words) - 13:09, 11 September 2020
- == What's New in Rodin 3.6? == Rodin 3.6 brings several bug fixes. It also upgrades the underlying Eclipse to 204 KB (640 words) - 14:09, 25 May 2021
- == What's New in Rodin 3.7? == Rodin 3.7 brings several bug fixes. It also upgrades the underlying Eclipse to 4.5 KB (703 words) - 14:37, 29 April 2022
- == What's New in Rodin 3.8? == Rodin 3.8 brings several bug fixes. It also upgrades the underlying Eclipse to 4.5 KB (775 words) - 12:00, 4 April 2023
Page text matches
- ...ble with Rodin 1.3 both at the plug-in and user level. In particular, this release does not contain any fancy enhancement that could hinder compatibility. See the [[Rodin Platform 1.3 Release Notes|Rodin Platform 1.3 Release Notes]].651 bytes (84 words) - 18:41, 22 February 2011
- == Current Release == ...Notes|3.8]]. It has been published on 2023-04-03. Installation and Release Notes can be found [http://wiki.event-b.org/index.php/Rodin_Platform_3.8_Release_4 KB (532 words) - 06:51, 4 April 2023
- ...tirely fix the bug described below, use [[Rodin_Platform_2.2_Release_Notes|Rodin 2.2.2]] instead ! Rodin 2.2.1 is a maintenance release: as such, it contains only bug fixes. For more information, see [[Rodin_Pla3 KB (398 words) - 15:31, 22 July 2011
- * Clone the [https://sourceforge.net/p/rodin-b-sharp/theory git repository] from Sourceforge ...ar/tmp</code>: if this location is not available, or if another version of Rodin is should be targeted, edit the <code>.target</code> file accordingly3 KB (394 words) - 07:15, 15 July 2021
- Rodin 2.2.2 is a maintenance release: as such, it contains only bug fixes. For more information, see [[Rodin_Pla == What's New in Rodin 2.2.2 ? ==4 KB (515 words) - 08:41, 1 August 2011
- Rodin 2.1.1 is a maintenance release: as such, it contains only bug fixes. For more information, see [[Rodin_Pla == What's New in Rodin 2.1.1 ? ==3 KB (395 words) - 13:15, 1 June 2011
- Release compatible with Rodin 3.0.1 and Rodin 3.1.0 Release Candidate Release compatible with version 2.7.x and 2.8.x of the platform.3 KB (343 words) - 10:21, 25 November 2014
- For information on main changes since Rodin 1.3, or about available plug-ins, see [[Rodin_Platform_2.0_Release_Notes]]. == What's New in Rodin 2.0.1? ==2 KB (248 words) - 15:58, 16 November 2010
- The purpose of the platform corrective and evolutive maintenance is to address bugs and feature request The noticeable new features in the main platform for the past year are listed below:7 KB (963 words) - 11:30, 27 January 2010
- ==== Rodin Update Site ==== ! scope=col | || Plug-in name || Version || Status || MCV* || Release Date || Contact || Additional info4 KB (475 words) - 18:40, 22 February 2011
- The main goal of the platform corrective and evolutive maintenance is to fix the listed known bugs, and i ...list below gives an overwiew of the noteworthy features added in the main platform during the past year:9 KB (1,423 words) - 16:28, 14 November 2011
- ==== Rodin Update Site ==== ! scope=col | || Plug-in name || Version || Status || MCV* || Release Date || Contact || Additional info6 KB (746 words) - 16:17, 24 January 2012
- # Download Rodin for your platform. # Start Rodin from the folder where you extracted the zip file in the previous step.5 KB (720 words) - 15:20, 4 July 2013
- ==== Rodin Update Site ==== ! scope=col | || Plug-in name || Version || Status || MCV* || Release Date || Contact || Additional info7 KB (942 words) - 14:03, 3 October 2011
- ...ments the procedure followed for building the binary packages of the Rodin platform that are distributed on SourceForge. The build is done in two steps # Build the platform headless from this set of sources using Apache Ant.6 KB (928 words) - 15:50, 11 September 2020
- Camille 3.0.2 for Rodin 3.0.1 released on 19th August 2014 A preliminary version of Camille for Rodin 3.1 is available at the nightly update site: [http://nightly.cobra.cs.uni-d6 KB (945 words) - 12:22, 27 January 2015
- == What's New in Rodin 3.6? == Rodin 3.6 brings several bug fixes. It also upgrades the underlying Eclipse to 204 KB (640 words) - 14:09, 25 May 2021
- The Event-B model decomposition is a new feature in the Rodin platform. ...ated in the ''Event build-up'' slide of the Wright presentation during the Rodin Workshop 2009.6 KB (825 words) - 13:27, 27 January 2010
- ==== Rodin Update Site ==== ! scope=col | || Plug-in name || Version || Status || MCV* || Release Date || Contact || Additional info8 KB (1,053 words) - 09:10, 4 January 2012
- ==== Rodin Update Site ==== ! scope=col | || Plug-in name || Version || Status || MCV* || Release Date || Contact || Additional info8 KB (1,106 words) - 08:35, 17 May 2012
- ...in Editor plug-in provides a structured editor to model in Event-B withing Rodin. This editor uses a textual representation, and edition is done through an ...more details about the principles of this editor, see [[Rodin_Editor|the Rodin Editor Plug-in page]].<br>8 KB (1,328 words) - 16:43, 3 June 2013
- == What's New in Rodin 3.7? == Rodin 3.7 brings several bug fixes. It also upgrades the underlying Eclipse to 4.5 KB (703 words) - 14:37, 29 April 2022
- == What's New in Rodin 2.8 == Rodin 2.8 is a maintenance release including most of all bug fixes.6 KB (899 words) - 16:25, 9 July 2014
- == What's New in Rodin 3.4? == Rodin 3.4 is mostly contains bug fixes, and upgrades the underlying Eclipse to Ox5 KB (758 words) - 16:28, 7 March 2018
- ==== Rodin Update Site ==== ! scope=col | || Plug-in name || Version || Status || MCV* || Release Date || Contact || Additional info8 KB (1,105 words) - 07:29, 17 August 2012
- Proving is at the core of the Rodin methodology. Therefore, it was no surprise : Big proof files are difficult to handle, on the one hand by the Rodin platform (slow access), and on the other hand by users (project sharing).5 KB (789 words) - 11:41, 27 January 2010
- ==== Rodin Update Site ==== ! scope=col | || Plug-in name || Version || Status || MCV* || Release Date || Contact || Additional info8 KB (1,138 words) - 14:32, 23 November 2012
- ...rent/html/files/EventB-Summary.pdf Event-B Cheat Sheet] available with the Rodin handbook. == What's New in Rodin 3.5? ==8 KB (1,249 words) - 13:09, 11 September 2020
- == What's New in Rodin 3.3? == Rodin 3.3 is mainly a corrective version of the Rodin platform which solves stability and usability issues, especially concerning the Theo7 KB (1,079 words) - 13:54, 12 July 2017
- ==== Rodin Update Site ==== http://rodin-b-sharp.sourceforge.net/updates13 KB (1,415 words) - 07:56, 28 May 2015
- ==== Rodin Update Site ==== ! scope=col | || Plug-in name || Version || Status || MCV* || Release Date || Contact || Additional info12 KB (1,324 words) - 13:37, 3 June 2013
- ...rn plug-in in form of an API in addition to the wizard. This enables other Rodin developers to use the pattern plug-in programmatically. For this, the first *As the pattern plug-in is in a pre-release phase, there is an option to generate the proof obligation in order to cont6 KB (1,034 words) - 14:43, 27 January 2010
- ==== Rodin Update Site ==== http://rodin-b-sharp.sourceforge.net/updates13 KB (1,455 words) - 13:43, 28 November 2014
- ==== Rodin Update Site ==== http://rodin-b-sharp.sourceforge.net/updates13 KB (1,452 words) - 09:38, 18 June 2015
- == What's New in Rodin 3.1? == *'''Show/Hide''' elements inherited from abstractions in Rodin Editor (abstract invariants/guards/…):6 KB (909 words) - 13:48, 17 December 2014
- == What's New in Rodin 3.8? == Rodin 3.8 brings several bug fixes. It also upgrades the underlying Eclipse to 4.5 KB (775 words) - 12:00, 4 April 2023
- ==== Rodin Update Site ==== http://rodin-b-sharp.sourceforge.net/updates13 KB (1,514 words) - 14:38, 6 July 2017
- ==== Rodin Update Site ==== http://rodin-b-sharp.sourceforge.net/updates13 KB (1,514 words) - 07:16, 2 September 2017
- The SMT plug-in allows users to use SMT solvers within Rodin. ...plug-in is maintained by SYSTEREL (See sources [https://sourceforge.net/p/rodin-b-sharp/smt/ci/master/tree/]).17 KB (2,538 words) - 15:41, 2 October 2017
- == What's New in Rodin 3.2? == Rodin 3.2 is mainly a corrective version of the Rodin platform which solves stability and usability issues.9 KB (1,317 words) - 11:09, 6 July 2017
- == 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
