Skip to content

Kind 2 VS Code Extension 0.5.3

Pre-release
Pre-release
Compare
Choose a tag to compare
@daniel-larraz daniel-larraz released this 10 Mar 04:51
· 106 commits to main since this release
v0.5.3
254c322
  • Update Z3 to version 4.12.0 and Kind 2 to version 1.8.0.
  • Replace Boolector SMT solver with Bitwuzla.
  • Add syntax highlighting for frame blocks, if-then-else blocks, and reachability properties
  • Add experimental support for reachability properties
Assets 2
Loading