Skip to content

SPAT v1.1.1
Compare
Choose a tag to compare
@Jellix Jellix released this 09 Jul 18:39
· 138 commits to master since this release
v1.1.1
8b320e9
This commit was signed with the committer’s verified signature.
Jellix Vinzent "Jellix" Saranen
GPG key ID: C8D512005D2D8667
Verified
Learn about vigilant mode.

CHANGELOG:

  • Major fix for --suggest option (#50):
    Found and fixed a defect that renders the whole output of previous versions bogus.
    Steps are now scaled according to the GNAT model.
    File names are reported only once for a single .spark file (with preference on spec files), to conform with how gnatprove handles compilation units.
Assets 5
Loading