Search results

Create the page "' + t + '" on this wiki! See also the search results found.

• Isabelle for Rodin
  ...'''Rodin's software installation facilities''' and is available on '''Rodin's main update site''' (<nowiki>http://rodin-b-sharp.sourceforge.net/updates< ** Isabelle's generic parser is used to parse the theories generated by Rodin.
  9 KB (1,317 words) - 10:07, 29 April 2013
• Indexing System
  ...en indexing their project, using type ''IRodinFile'' for generic parameter T. ...to be understood as a node in the dependence graph. It has a label of type T and lists of predecessors and successors.
  10 KB (1,541 words) - 17:41, 9 March 2009
• B2Latex
  Since B2Latex 0.6.1, this file won't be overwritten if already exists, so no user modifications are accidentally
  4 KB (718 words) - 17:22, 8 July 2016
• Rodin Platform 1.3 Release Notes
  == What's New in Rodin 1.3? == Bug 2952959: Disabling auto-provers doesn't work
  12 KB (1,642 words) - 13:21, 28 July 2010
• Mathematical Extensions
  The following definitions hold at a given instant <math>t</math> and for the whole platform.<br /> ...}_t</math> denote the affectation of tags to an extension at instant <math>t</math> (<math>\mathit{tag}_t \in \mathit{EXTENSION}_t \pfun \intg</math>);<
  19 KB (2,883 words) - 18:20, 17 March 2014
• Scenarios for Team-based Development
  ...nt-B Project is maintained and accessible: In this scenario, the users don't care much about the team aspect, but require access to a change history.
  4 KB (670 words) - 14:38, 29 January 2009
• How to create Rodin projects programmatically
  // add the rodin nature if it isn't already there
  6 KB (784 words) - 15:19, 21 August 2023
• Generic Event-B EMF extensions
  The class should be extended by a client plug-in and the client's class should be registered as a Refinement Participant using the relevant For example, a basic type invariant that doesn't depend on other variables might be placed at position 1 whereas a theorem o
  13 KB (1,988 words) - 11:01, 30 May 2020
• Extending the Static Checker (How to extend Rodin Tutorial)
  # We encounter a problem which doesn't affect the PO generation: it leads to a '''warning''' (fixed by a default a ...ule configuration lifecycle. He has to be aware, at any time, of his module's hierarchy, and has to call sub-modules explicitly when meaningful. Further
  18 KB (2,534 words) - 13:53, 5 September 2013
• User Documentation Overhaul
  * The tutorial doesn't make clear what knowledge is expected when starting the tutorial.
  5 KB (720 words) - 11:28, 15 September 2011
• Single View Design
  ...g Sets''': Allows you to see the working sets as top level elements. If you're not familiar with working sets, consult [http://help.eclipse.org/help32/i ...is mean if you select both machines and projects at the same time, you won't get any statistics.
  5 KB (842 words) - 18:35, 26 March 2010
• Refinement of Statemachines
  ...e moment the refinement is valid because it is an exact copy, but it doesn't make any progress. We will make the refinement more interesting by modifyin c) Open the new state machine's diagram by right-clicking on it and selecting 'open diagram'.
  6 KB (895 words) - 06:12, 8 September 2011
• Scenarios for Merging Proofs
  ...r). We also consider ''L'' and ''O'' as being symmetrical (and thus we won't describe symmetrical scenarios).
  6 KB (1,046 words) - 10:34, 27 October 2011
• Event-B Statemachines
  ...w shows its available properties (if you cannot find it, please go to Rodin's menu ''Window > Show View > Properties''). This view allows you to modify ...guard. I.e. the transition may fire from either of the incoming transition's source states. Junctions can be cascaded if required in order to build a b
  13 KB (2,134 words) - 08:04, 6 October 2015
• Rodin Index Design
  However, the element handle doesn't carry directly the user-defined name for the element. This name is stored ...tructed expensively by running all indexers on all files). However, we don't want to save all index tables, but only essential information (the rest bei
  14 KB (2,204 words) - 12:58, 12 October 2009
• D32 Provers
  Concerning Rodin's provers the following contributions have been made: ...tics. The tactic then inputs the reduced sequent to one or several of Rodin's external provers (PP, newPP, ML). Jann Röder carried out experiments usin
  11 KB (1,699 words) - 15:25, 27 January 2011
• Constrained Dynamic Parser
  ...cking -- see [[#Some Difficulties|here before]]). As a side effect, it won't be possible to define new ''lambda like'', ''union like'' and ''sets like'' t = token # t is the processed symbol
  27 KB (3,967 words) - 13:21, 15 February 2010
• Rodin Platform 2.2 Release Notes
  == What's New in Rodin 2.2? == Bug 2974867: Camille text editor - doesn't allow non alphanumeric chars
  10 KB (1,354 words) - 13:31, 1 July 2011
• Rodin Platform 1.2 Release Notes
  == What's New in Rodin 1.2? == Bug 2893379: Can't edit Refinement if var and event have the same name
  11 KB (1,488 words) - 10:06, 28 July 2010
• Migration to Eclipse 3.6
  ::It's now possible to export the contents of your current target platform into a ::In the list of export wizards (File -> Export...), you'll find the wizard available under Plug-in Development -> Target definition.
  12 KB (1,814 words) - 08:44, 30 June 2010

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