Skip to content

Kind 2 VS Code Extension 0.7.0

Pre-release
Pre-release
Compare
Choose a tag to compare
@daniel-larraz daniel-larraz released this 26 Apr 23:44
· 67 commits to main since this release
v0.7.0
f9fd572
  • Update Z3 to version 4.12.1 and Kind 2 to version 1.9.0.
  • Update syntax highlighting: elsif, provided, choose.
  • Update button for counterexamples.
  • Remove protractor dependency from interpreter
  • Update all node packages of interpreter to latest compatible version
  • Replace TSLint with ESLint in interpreter.
Assets 2
Loading