Contains publicly available releases of AProVE.
To create a new release, create an empty commit and use the git-sha of the respective commit in the aprove-repository as commit message (git commit --allow-empty -m "$SHA").
Then, tag (git tag $TAG) and push the commit and the tag (git push origin $TAG).
For competiton versions, use tags like termcomp16 resp. svcomp16.
For all other versions, please use tags like master_2016_09_19.
If you are releasing a version of a feature branch,
please prefix the tag with the name of the feature branch to avoid confusion with "official" releases (e.g., jbc-complexity_2016_09_19).
Then, you can associate a release with your tag.
To do so, click <> Code and then releases.