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 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
- ...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