Skip to content

v4.0.1
Compare
Choose a tag to compare
@onox onox released this 12 Jul 18:14
· 51 commits to master since this release
v4.0.1
This tag was signed with the committer’s verified signature. The key has expired.
onox
GPG key ID: CF5AC322CA75C647
Expired
Learn about vigilant mode.
fca96e3
This commit was signed with the committer’s verified signature. The key has expired.
onox
GPG key ID: CF5AC322CA75C647
Expired
Learn about vigilant mode.

Changes

  • Fix compilation with GNAT CE 2020
  • Add 'prove' command which uses gnatprove
  • Add 'ce' command to compile with latest CE in Docker container
Assets 3
Loading