Search results

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

• Rodin Platform 2.1 Release Notes
  == What's New in Rodin 2.1? == ...cerning the maintenance and evolution of Rodin, is to increase the platform's performances. Investigation has started and some early enhancements are al
  10 KB (1,277 words) - 13:45, 26 July 2011
• DynamicContainer
  * Design an EMF meta model (ecore) of your extension's abstract syntax. The model should NOT deal with ownership of the extension // Mark meta-data to indicate it can't be changed
  6 KB (506 words) - 12:00, 25 November 2009
• Developer FAQ
  If you suspect that some memory isn't freed, you may find some useful directions on how to track memory leaks [[T r2. The solution of 1 didn't work and I still have some errors in the plugin.xml file. (You will have to
  15 KB (2,372 words) - 16:29, 19 May 2015
• Rodin Platform 2.6 Release Notes
  == What's New in Rodin 2.6? == Bug 2974867: Camille text editor - doesn't allow non alphanumeric chars
  10 KB (1,328 words) - 16:14, 3 August 2012
• Modus Ponens generalized
  * Each hypothesis must be scanned only once to avoid accumulating predicate's running time. From that point of view, two decisions can be inferred : :<math>P \lor R \lor Q \lor S \lor T</math>
  10 KB (1,784 words) - 16:04, 18 March 2014
• Adding Reasoners(How to extend Rodin Tutorial)
  Let's call this rule DBL_INEQ. By reading this rule, we see it is goal agnostic. ...te any activator for our plugin, so no such constant prefix exists. So, let's create here something like :
  13 KB (2,012 words) - 15:43, 21 September 2021
• Switch from CVS to Subversion
  Note that the filtering on <tt>CVSROOT</tt> didn't seem to work as expected: this directory still occurred in the SVN trunk an
  4 KB (710 words) - 09:37, 1 April 2009
• The Use of Theories in Code Generation
  The array operator notation is defined in the expression array(s: P(T)); and the semantics is defined in the direct definition. arrayN constrains ...d side of the rule. The ''Type Rules'' section describes the implementation's description of the ''arrayN'' type.
  4 KB (599 words) - 15:00, 14 June 2021
• TextEditor EBNF
  ===EBNF for the TextEditor's syntax === The syntax doesn't allow whitespaces within labels. It assumes that all characters following a
  4 KB (559 words) - 12:43, 12 August 2009
• SMT Solvers Plug-in Developer Support
  If you don't have an Eclipse development platform for Java and Eclipse plug-ins installe To run a Rodin platform, from the sources in the developpment workspace, you'll need to create an Eclipse launch configuration:
  4 KB (691 words) - 14:34, 19 May 2014
• 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

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