Difference between revisions of "Generic Instantiation User Guide"

From Event-B
Jump to: navigation, search
m (Installing and Updating: Fix update site link)
Line 1: Line 1:
The plug-in is developed by Hitachi Ltd. and ETH Zurich.
+
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 02: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

  1. Proof of Obligation integration to Generic Instantiation file
Axiom replace
Well Definedness	
  1. PO coloring:
Gray scale coloring of already proven PO’s as part of the instantiated Machines
  1. Navigation functionality for GI file
  1. Pretty print for GI file