Search results

Create the page "Work done" on this wiki! See also the search results found.

• UML-B notes for 2.1.0
  Inverse function ~ doesn't work with dot notation. Use normal event-B notation instead.
  1 KB (216 words) - 15:46, 28 January 2011
• Rodin Platform Welcome Page
  * Click on the '''Work with''' dropdown list and select the Atelier B provers update site.
  2 KB (322 words) - 16:45, 20 April 2010
• Extending the Index Manager
  ...ting file dependencies is delegated to indexers (however, if it is already done by indexers that run before yours, there is no need to do it twice, simply ...ndexer depends on others (see below), you can also get the result of their work.
  6 KB (969 words) - 13:17, 29 May 2009
• Rodin Platform 2.0.1 Release Notes
  Bug #3086746: Functional Image Rewrites does not work properly
  2 KB (248 words) - 15:58, 16 November 2010
• Current Developments
  This page sum up the known developments that are being done around or for the [[Rodin Platform]]. ''Please contributes informations abo ===== Work already performed =====
  12 KB (1,869 words) - 16:35, 18 March 2014
• D32 General Platform Maintenance
  ...(resp. corrective maintenance) has its origin in the DEPLOY description of work, and the various requests (resp. bug reports) listed by WP1-4 partners, dev ...ks are processed in the same way as the task planned in the description of work.
  9 KB (1,423 words) - 16:28, 14 November 2011
• Refactoring Framework
  ==Initial Work == Initial work towards implementation of this framework is described in [http://stups.hhu.
  11 KB (1,773 words) - 07:41, 12 January 2016
• UML-B FAQ
  ...conflicts with the more general definition of bridges the prover will not work properly. (It would be better if the type axiom for bridges was minimal and
  2 KB (386 words) - 22:23, 11 December 2008
• Rodin Platform 3.4 Release Notes
  ...RE (8 or later) installed on your computer. The Rodin application will not work with a previous version or with a 32-bit JRE. : Atelier B provers work more slowly; it can cause ML to not automatically discharge some sequents t
  5 KB (758 words) - 16:28, 7 March 2018
• Code Generation Activity
  ...all Epsilon manually, since the automatic install utility does not seem to work for this feature. We currently use the Epsilon interim update site availabl === Ongoing Work ===
  17 KB (2,568 words) - 09:03, 19 October 2015
• D23 Code Generation
  ...of work for DEPLOY that was not identified in the original Description of Work for the project. During the first year of the project, as the Deployment P The code generation work is being lead by Southampton with initial input from Newcastle.
  11 KB (1,725 words) - 18:07, 7 December 2009
• Rodin Platform 3.1 Release Notes
  ...JRE (6.0 or later) installed on your computer. The Rodin product will not work with a previous version. To run Rodin 64-bit, you need a 64-bit JRE. : Atelier B provers work more slowly; it can cause ML to not automatically discharge some sequents t
  6 KB (909 words) - 13:48, 17 December 2014
• Feature Modelling Tool
  [[Category:Work in progress]]
  2 KB (320 words) - 07:06, 1 August 2011
• ADVANCE D3.2 Model Checking
  * There is work in progress towards full support of Theory plug-in: support for external an The latter is particularly important in light of the Theory plug-in work.
  11 KB (1,711 words) - 09:47, 26 June 2012
• Requirements Tutorial
  ...ect Explorer. In order to work with the Requirements Plug-In, you need to work with the Navigator View. You can open it via Window > Show View > Other... ...te 1:''' While Identifier and Document can be edited here, it shouldn't be done (changes will be lost upon next synchronization).
  7 KB (995 words) - 15:44, 25 February 2009
• Rodin Developer Support
  The recommended practice is to work with a target platform, as described in how to adapt plug-ins that work with Rodin 2.7 to the new 3.0 API.
  8 KB (1,260 words) - 12:45, 30 July 2015
• D32 Code generation
  ...umber of team members at Southampton; and also at other institutions. This work draws on our recent experience with technologies such as ''Shared Event Dec ...mature tool. Nevertheless much insight has been gained in undertaking this work; it lays a foundation for future research, and will be useful since it will
  15 KB (2,298 words) - 15:08, 27 January 2011
• Revisiting Feasibility POs
  obligation <tt>FIS</tt> is supposed to work as a filter and prevent models from [[Category:Work done]]
  8 KB (1,284 words) - 18:33, 30 January 2012
• UML-B notes for 0.5.8
  Inverse function ~ doesn't work with dot notation. Use normal event-B notation instead.
  2 KB (353 words) - 12:45, 12 August 2009
• Isabelle for Rodin
  ...h or a path relative to the search path or a path relative to your current work directory. * Support for Windows is limited. Export of proof obligations does work. Invoking Isabelle from Rodin does not. The problem is to launch Isabelle t
  9 KB (1,317 words) - 10:07, 29 April 2013

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