Rodin B AST
This repository contains a standalone version of the Rodin AST. It is used within the ProB tool.
No original file is changed, but we added:
- README.md
- build.gradle
- .travis.yml
- gradle.properties.enc
- secring.gpg.enc
- pubring.gpg.enc
Note to future Jens: After updating the sources the gradle patch
task must be run. This modifies the sources. Do not run the task multiple times!