Skip to content

Kind 2 VS Code Extension 0.8.0

Pre-release
Pre-release
Compare
Choose a tag to compare
@daniel-larraz daniel-larraz released this 21 Jun 23:35
· 49 commits to main since this release
v0.8.0
ecd0d99
  • Update Kind 2 to version 2.0.0.
  • Update syntax highlighting for subrange types with an open end
  • Add SMTInterpol as backend SMT solver
  • Add new IC3IA engine module
  • Add check_reach and check_nonvacuity options
  • Add option to set SMT QE Solver
  • Add option to set SMT ITP Solver
  • Add ic3ia_max option
  • Remove dump_cex option
Assets 2
Loading