Skip to content

Kind 2 VS Code Extension 0.9.0

Pre-release
Pre-release
Compare
Choose a tag to compare
@daniel-larraz daniel-larraz released this 06 Dec 20:49
· 42 commits to main since this release
v0.9.0
28c5927
  • Update Kind 2 to version 2.1.0 and Z3 to version 4.12.4
  • Update syntax highlighting:
    • Add param and assuming keywords
    • Replace choose keyword with any
  • Update node packages
Assets 2
Loading