Skip to content

kind2-java-api 0.5.2

Pre-release
Pre-release

Choose a tag to compare

View all tags
@daniel-larraz daniel-larraz released this 23 Oct 04:12
· 12 commits to main since this release
0.5.2
6b244d4
  • Remove old_frontend option (no longer supported in Kind 2 versions after 2.3.0)
  • Always re-throw exceptions in callKind2
Assets 3
Loading