Skip to content

JavaSMT 4.0.2
Compare
Choose a tag to compare
@kfriedberger kfriedberger released this 07 Jun 19:51
· 1371 commits to master since this release
4.0.2
This tag was signed with the committer’s verified signature.
kfriedberger Karlheinz Friedberger
GPG key ID: 4D6D84D3ACCD6DC1
Learn about vigilant mode.
41ecfe7
This commit was signed with the committer’s verified signature.
kfriedberger Karlheinz Friedberger
GPG key ID: 4D6D84D3ACCD6DC1
Learn about vigilant mode.

This patch release improves documentation and updates the dependency for our Yices2 component.
We skip version 4.0.1 which was internally used for releasing the Yices2 component.

Assets 2
Loading