Difference between revisions of "Generic Instantiation User Guide"
From Event-B
Jump to navigationJump to searchimported>Son |
imported>Son m |
||
| (9 intermediate revisions by the same user not shown) | |||
| Line 1: | Line 1: | ||
| − | + | Generic Instantiation tool is developed by Yokohama Research Laboratory, Hitachi Ltd. (YRL), ETH Zurich (ETHZ) and Hitachi India Pvt. Ltd (HIL) for Event-B as a Plug-in for the RODIN platform | |
{{TOCright}} | {{TOCright}} | ||
| Line 7: | Line 7: | ||
== Installing and Updating == | == Installing and Updating == | ||
| − | The plug-in is available through the following Eclipse update site | + | The plug-in is available through the following Eclipse update site: '''http://gen-inst.sourceforge.net/updates''' |
| − | http://sourceforge.net | ||
| − | More information | + | More information about the plug-in can be found in the [http://sourceforge.net/projects/gen-inst/files/examples/GI_Plugin_UserGuide_1_0_2.pdf User Guide]. |
The project is hosted on sourceforge at the [https://sourceforge.net/p/gen-inst/ project homepage] | The project is hosted on sourceforge at the [https://sourceforge.net/p/gen-inst/ project homepage] | ||
| + | |||
| + | == Change logs == | ||
| + | === Version 1.1.0 === | ||
| + | ==== New features ==== | ||
| + | # Proof of Obligation integration to Generic Instantiation file:<br>Axiom replacement<br>Well-Definedness<br> | ||
| + | # PO coloring:<br>Gray scale coloring of already proven PO’s as part of the instantiated Machines | ||
| + | # Navigation functionality for GI file | ||
| + | # Pretty print for GI file | ||
| + | |||
| + | === Version 1.0.3 === | ||
| + | ==== Compatibility upgrade ==== | ||
| + | # Compatibility upgrade for Rodin 3.0.x | ||
| + | |||
| + | === Version 1.0.0 === | ||
| + | ==== (Initial) features ==== | ||
| + | # Generic Instantiation (GI) files for storing information about generic instantiation. | ||
| + | # Wizard for creating GI files. | ||
| + | # Editor for GI files. | ||
| + | # Static checker for GI files. | ||
| + | # Performing generic instantiation by creating a new project based on a source project and generic instantiation files. | ||
Latest revision as of 01:40, 18 August 2014
Generic Instantiation tool is developed by Yokohama Research Laboratory, Hitachi Ltd. (YRL), ETH Zurich (ETHZ) and Hitachi India Pvt. Ltd (HIL) for Event-B as a Plug-in for the RODIN platform
Introduction
The Generic Instantiation plug-in provides supports for instantiating an Event-B Models by providing concrete values for carrier sets and constants.
Installing and Updating
The plug-in is available through the following Eclipse update site: http://gen-inst.sourceforge.net/updates
More information about the plug-in can be found in the User Guide.
The project is hosted on sourceforge at the project homepage
Change logs
Version 1.1.0
New features
- Proof of Obligation integration to Generic Instantiation file:
Axiom replacement
Well-Definedness - PO coloring:
Gray scale coloring of already proven PO’s as part of the instantiated Machines - Navigation functionality for GI file
- Pretty print for GI file
Version 1.0.3
Compatibility upgrade
- Compatibility upgrade for Rodin 3.0.x
Version 1.0.0
(Initial) features
- Generic Instantiation (GI) files for storing information about generic instantiation.
- Wizard for creating GI files.
- Editor for GI files.
- Static checker for GI files.
- Performing generic instantiation by creating a new project based on a source project and generic instantiation files.
