Difference between revisions of "Generic Instantiation User Guide"
From Event-B
Jump to navigationJump to searchimported>Son m (→Installing and Updating: Fix update site link) |
imported>Son |
||
| 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 12: | Line 12: | ||
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 for version 1.10 == | ||
| + | === New features === | ||
| + | # Proof of Obligation integration to Generic Instantiation file | ||
| + | Axiom replace | ||
| + | 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 | ||
Revision as of 01:21, 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 for version 1.10
New features
- Proof of Obligation integration to Generic Instantiation file
Axiom replace 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
