Skip to content

SPAT v1.1.3
Compare
Choose a tag to compare
@Jellix Jellix released this 13 Jul 12:53
· 94 commits to master since this release
v1.1.3
0f21def
This commit was signed with the committer’s verified signature.
Jellix Vinzent "Jellix" Saranen
GPG key ID: C8D512005D2D8667
Verified
Learn about vigilant mode.

CHANGELOG:

  • Output of --suggest option now prefers body files (related to #55).

Known Issues:

  • ´--suggest´ option still broken, especially in regards to the --steps option given to the prover (#60).
Assets 5
Loading