VERDICT Plugin for Open Source AADL Tool Environment

This repository contains two update sites (verdict-dev, verdict-latest) for the VERDICT plugin. Each subdirectory in this repository, when accessed via GitHub's raw content interface, looks like a valid Eclipse P2 plugin update site to Eclipse.

Copy the following URL to install the latest release of the VERDICT plugin in OSATE:

https://raw.githubusercontent.com/ge-high-assurance/VERDICT-update-sites/master/verdict-latest

If you are a VERDICT developer or user who wants to test the VERDICT plugin between VERDICT releases, copy this URL instead:

https://raw.githubusercontent.com/ge-high-assurance/VERDICT-update-sites/master/verdict-dev

To install the VERDICT plugin in OSATE with Eclipse's "Install New Software..." dialog,

• Open Help -> Install New Software...
• Click the Add... button
• Paste one of the URLs above in the Location: field
• Click the Add button
• Select VERDICT for OSATE or click the Select All button
• Click the Next > button two times
• Accept the license and click the Finish button
• Click the Install anyway button
• Click the Restart Now button to restart Eclipse

VERDICT Source Code and Documentation

Go to VERDICT source code: https://github.com/ge-high-assurance/VERDICT

Go to VERDICT documentation: https://github.com/ge-high-assurance/VERDICT/wiki