ContractIDE

An extensible framework for multi-viewpoint contracts.

Installation (briefly explained)

• Download Eclipse Modeling Tools: https://www.eclipse.org/downloads/packages/release/2018-09/r/eclipse-modeling-tools
• Go to Help > Install New Software > Add...
• Use the following update site: https://github.com/AlexanderKnueppel/ContractIDE-eclipse-update-site/raw/master
• Install.

Updating

• Whenever a new release is deployed, go to Help > Check for Updates to install updates.