Skip to content

v0.1.3

Latest
Latest
Compare
Choose a tag to compare
@marcofavorito marcofavorito released this 14 Aug 21:44
· 10 commits to main since this release
v0.1.3
1139be9
This commit was signed with the committer’s verified signature.
marcofavorito Marco Favorito
GPG key ID: 1B17E9636D21C8BF
Learn about vigilant mode.
  • Fix building issue: (#114)
  • Fix translation of Release LTLf-to-LDLf (2070ec3)
  • Update Syft+ dependency version to v0.1.1 (#119)
Assets 3
Loading