Search results

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

• Rodin Performances
  === Builder / models only === === Builder + Auto Prover / models only ===
  7 KB (787 words) - 08:43, 17 June 2011
• UML-B release notes for 2.1.0
  * fix null pointer exception in marker builder
  1 KB (164 words) - 19:23, 19 November 2010
• Adding Manual Inference Reasoners
  ...k on "New" and choose "Ant Build" and click OK. A dialog will open for new builder wizard. ** Enter the name of the builder, e.g. ''Tom Builder''.
  10 KB (1,306 words) - 17:31, 24 November 2010
• Adding Automatic Inference Reasoners
  ...k on "New" and choose "Ant Build" and click OK. A dialog will open for new builder wizard. ** Enter the name of the builder, e.g. ''Tom Builder''.
  11 KB (1,421 words) - 17:34, 24 November 2010
• UML-B release notes for 1.1.0
  * Problems when invoking builder
  1 KB (191 words) - 09:50, 8 June 2010
• Adding Automatic Rewrite Reasoners
  ...k on "New" and choose "Ant Build" and click OK. A dialog will open for new builder wizard. ** Enter the name of the builder, e.g. ''Tom Builder''.
  14 KB (1,788 words) - 17:33, 24 November 2010
• ProB API
  * Builder to create well formed Prolog Queries
  3 KB (325 words) - 08:20, 4 February 2009
• Rodin 3.0 Plug-in Migration Guide
  ** The field is only internal to the class (and has builder type at least one time). A datatype must now be defined in a declarative way with a datatype builder. Here are the few steps necessary to declare a new datatype:
  17 KB (2,614 words) - 16:25, 14 February 2014
• Proof Purger Design
  ...an be explained, as proof file might be empty on purpose (generated by the builder). An empty proof file becomes undesirable only after the component has been
  3 KB (505 words) - 12:54, 12 August 2009
• Sequent Prover Developer Guide
  ...New" and choose "Ant Build" and click "OK". A dialog will open for the new builder wizard. :## Enter the name of the builder (e.g., Tom).
  17 KB (2,378 words) - 09:48, 17 June 2010
• D23 Flow Plug-in
  ...the plug-in is the generation of additional proof obligations. Rodin model builder automatically invokes the static checker and the proof obligations generato
  4 KB (609 words) - 11:37, 8 January 2010
• Flows
  ...of status. Proof statuses are updated along with the progress of the Rodin builder and provers and thus there will be always some delays between saving a dia
  4 KB (630 words) - 22:31, 22 January 2011
• Language of an Event-B Component
  ...component changes. This is implemented by adding a dependency in the Rodin builder to ensure that these files are considered obsolete when the language change
  4 KB (692 words) - 15:06, 20 November 2013
• Tasking Event-B Tutorial
  ...he theories, they must be un-deployed, then re-deployed, ensuring that the builder creates all of the appropriate files. Right-Click on the theory file and se ...the task body text is sent to the parser. If parsing is successful then a builder adds the structure to the underlying EMF tree. If parsing fails then an err
  11 KB (1,714 words) - 12:41, 2 September 2013
• UML-B Integration and Improvements
  ...to Event-B translation process. This can be used in place of the automatic builder for larger projects where frequent re-verification may be inconvenient.
  5 KB (738 words) - 09:13, 4 March 2009
• Rodin Platform 1.1 Release Notes
  Bug 2414463: Builder called on non-Rodin files Bug 2744052: NullPointerException in Builder on cyclic refinement
  9 KB (1,298 words) - 10:06, 28 July 2010
• Rodin Platform 2.3 Release Notes
  : '''Warnings''' are produced by the builder when unknown configurations are encountered. It helps knowing which plug-in : '''Error''' is produced by the builder when no known configuration is found for a file.
  11 KB (1,401 words) - 09:39, 8 November 2011
• Extending the Static Checker
  ...he class provided for tools themselves shall implement <tt>org.rodinp.core.builder.IAutomaticTool</tt>. ...he abstract method <tt>extract</tt> from the interface <tt>org.rodinp.core.builder.IExtractor</tt>:
  24 KB (3,013 words) - 16:24, 5 July 2011
• Rodin Platform 1.2 Release Notes
  Bug 2414463: Builder called on non-Rodin files Bug 2744052: NullPointerException in Builder on cyclic refinement
  11 KB (1,488 words) - 10:06, 28 July 2010
• Mode/FT Views
  The tool adds and removes builder configurations properly. Cleans the configurations of models when views are Bug with builder configurations solved. Now mode views properly edit builder configurations of the models.
  21 KB (3,472 words) - 20:32, 26 June 2015

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