Search results

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

• Rodin Platform 2.6 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. ...isplay a link instead of a html page and the '''Pretty Printer''' does not work); xulrunner-1.9.x must be installed.
  10 KB (1,328 words) - 16:14, 3 August 2012
• Rodin Platform 2.4 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. ...isplay a link instead of a html page and the '''Pretty Printer''' does not work); xulrunner-1.9.x must be installed.
  11 KB (1,542 words) - 08:35, 1 March 2012
• Rodin Platform 2.5 Release Notes
  :* '''IUserSupport API simplification''': some operations of the user support work only on the proof tree in main memory. Therefore, they cannot raise any Rod ...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.
  11 KB (1,478 words) - 17:32, 2 May 2012
• Rodin Platform 2.7 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. ...isplay a link instead of a html page and the '''Pretty Printer''' does not work); xulrunner-1.9.x must be installed.
  10 KB (1,301 words) - 07:11, 29 August 2013
• EMF Compare Editor installation
  ...y, the Camille editor is very strict on dependencies, so although it would work fine with a minor update, it has to be removed before you can install the n
  3 KB (469 words) - 14:17, 21 October 2009
• Predicate Variables Extension
  ...nts (plug-in contributers) will be allowed to select the mode they want to work with. This verification will be done as follows: Check each occurrence of the <tt>typeCheck()</tt>, <tt>isTypeC
  3 KB (431 words) - 15:14, 18 February 2010
• ADVANCE D3.3 Improvement of automated proof
  ...unterexamples for proof obligations. Searching for a counterexample can be done effortlessly and without user interaction. If successful, the futility of a ...enumerations, ProB is able to tell if the search for a counterexample was done exhaustively. If this is the case, the proof obligation in question is disc
  7 KB (1,145 words) - 10:05, 8 October 2013
• Rodin Platform 2.3 Release Notes
  ...JRE (6.0 or later) installed on your computer. The Rodin product will not work with a previous version. * Linux: the internal browser does not work with xulrunner-2.0 (for instance, it causes the welcome page to display a l
  11 KB (1,401 words) - 09:39, 8 November 2011
• Proof Simplification
  [[Category:Work in progress]]
  3 KB (496 words) - 12:58, 12 August 2009
• DynamicContainer
  '''This did not work. It is not possible to dynamically add to statically generated EMF classes.
  6 KB (506 words) - 12:00, 25 November 2009
• Rodin Platform 3.0 Release Notes
  ...is due to limitations in Eclipse p2 (about conflict resolutions) and would work only if no plug-ins are installed... which makes it close to useless ! ...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.
  8 KB (1,195 words) - 16:35, 9 July 2014
• Rodin Platform 3.3 Release Notes
  ...va JRE (8 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
  7 KB (1,079 words) - 13:54, 12 July 2017
• Improved WD Lemma Generation
  This page describes work done for optimising well-definedness lemmas generated by the Core Rodin platform
  4 KB (617 words) - 09:43, 19 June 2012
• ADVANCE D3.2 General Platform Maintenance
  The following paragraphs will give an overview of the the work that has been performed concerning maintenance on the existing platform com Work on release 3.0 will start concurrently with development of Rodin 2.7 and wi
  20 KB (3,030 words) - 13:18, 18 July 2012
• Structured Types
  ...only wish to update some fields and leave others changed, this needs to be done by specifying explicitly that some fields This can be done by including the new field ''g'' as projection function on ''R'' in a cont
  18 KB (2,643 words) - 12:41, 12 August 2009
• D45 Code Generation
  ...evelopment of multi-tasking, embedded control systems. During the project, work has been undertaken to investigate automatic generation, from Event-B model ...tten. The translators are now implemented using Java only. In our previous work we attempted to make use of the latest model-to-model transformation techno
  12 KB (1,818 words) - 08:31, 20 April 2012
• D23 ProB
  Furthermore, the work was driven by requirements of Siemens and SAP; some tool development was al This required a considerable amount of work on improving the scalability of the ProB kernel, to be able to deal with la
  17 KB (2,580 words) - 15:55, 28 January 2010
• Using Rodin as Target Platform
  ...platform in the order given above, otherwise links to source files do not work correctly in Eclipse.
  4 KB (678 words) - 05:58, 24 October 2014
• Relevance Filter Plug-in
  have been found to work well.
  4 KB (569 words) - 07:04, 1 August 2011
• Rodin Platform 2.1 Release Notes
  ...eral platform performance.''' One of the main task of the scheduled future work, concerning the maintenance and evolution of Rodin, is to increase the plat ...se it]] and [[Preferences_for_the_automatic_tactics | the page on the work done about Preferences for the automatic tactics]]
  10 KB (1,277 words) - 13:45, 26 July 2011

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