Search results

Create the page "Rodin Platform Release Notes" on this wiki! See also the search results found.

• Rodin Platform 2.4 Release Notes
  == 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
• Rodin Performances
  Performance measures for the Rodin Platform. ! scope=col | Rodin 1.3
  7 KB (787 words) - 08:43, 17 June 2011
• Decomposition Plug-in User Guide
  # 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
• Rodin Platform 2.5 Release Notes
  == 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 Activity
  == 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
• Rodin Platform 1.1 Release Notes
  == What's New in Rodin 1.1? == * [[Rodin_Keyboard | Rodin Keyboard]]
  9 KB (1,298 words) - 10:06, 28 July 2010
• D45 General Platform Maintenance
  = Core Platform Maintenance = The Rodin platform versions concerned by this deliverable are:
  35 KB (5,228 words) - 10:12, 23 April 2012
• Rodin Platform 2.0 Release Notes
  == What's New in Rodin 2.0? == :'''Mathematical Extensions'''. Rodin was extended to allow definition of basic predicates, new operators or new
  15 KB (2,008 words) - 15:34, 10 January 2011
• Rodin Platform 1.3 Release Notes
  == 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 for
  12 KB (1,642 words) - 13:21, 28 July 2010
• D45 Prover Enhancement
  ...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 rea
  21 KB (3,334 words) - 21:20, 20 April 2012

View (previous 20 | next 20) (20 | 50 | 100 | 250 | 500)