An experimental plugin for Rodin that extends the predicate syntax for guards and invariants by allowing to reference other guards.
The plugin has been presented at the Rodin Workshop 2016. An extended abstract is available here.
Examples will follow once the plugin is less experimental.
Maven 3 is required to build the project:
cd de.stups.hhu.rodinaxiompos.parent mvn clean verify
This will produce an updatesite in de.stups.hhu.rodinaxiompos.repository/target
We autmatically produce nightly builds that can be installed using the update site located at https://www3.hhu.de/stups/rodin/meta_predicates/nightly/ .
Pull requests are very welcome. Suggestions for new extensions and known bugs are tracked on Github