Skip to content

Releases: kind2-mc/kind2-language-server

kind2-language-server 0.1.10

19 Jun 08:51
@daniel-larraz daniel-larraz
0.1.10
34829b1
This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Learn about vigilant mode.
Compare
Choose a tag to compare
kind2-language-server 0.1.10 Pre-release
Pre-release
  • Support lus_main_type flag
Assets 3
Loading

kind2-language-server 0.1.9

22 May 17:24
@daniel-larraz daniel-larraz
0.1.9
bce641a
This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Learn about vigilant mode.
Compare
Choose a tag to compare
kind2-language-server 0.1.9 Pre-release
Pre-release
  • Use version of simulation that processes program as string rather than filename
Assets 3
Loading

kind2-language-server 0.1.8

09 May 20:32
@daniel-larraz daniel-larraz
0.1.8
ec148dc
This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Learn about vigilant mode.
Compare
Choose a tag to compare
kind2-language-server 0.1.8 Pre-release
Pre-release
  • Include imported nodes in getComponents
Assets 3
Loading

kind2-language-server 0.1.7

07 May 03:06
@daniel-larraz daniel-larraz
0.1.7
0863b72
This commit was created on GitHub.com and signed with GitHub’s verified signature.
GPG key ID: B5690EEEBB952194
Learn about vigilant mode.
Compare
Choose a tag to compare
kind2-language-server 0.1.7 Pre-release
Pre-release
  • Add support for realizability checks and deadlocking traces
Assets 3
Loading

kind2-language-server 0.1.6

20 Jul 15:47
@daniel-larraz daniel-larraz
0.1.6
1dd17b8
Compare
Choose a tag to compare
kind2-language-server 0.1.6 Pre-release
Pre-release
  • Remove dump_cex option
Assets 3
Loading

kind2-language-server 0.1.5

21 Jun 18:57
@daniel-larraz daniel-larraz
0.1.5
22eff36
Compare
Choose a tag to compare
kind2-language-server 0.1.5 Pre-release
Pre-release
  • Bump Kind 2 Java API version to 0.3.6
  • Add SMTInterpol as backend SMT solver
  • Add new IC3IA engine module
  • Add check_reach and check_nonvacuity options
  • Set solver paths independently of the selected main SMT solver
  • Add option to set SMT QE Solver
  • Add option to set SMT ITP Solver
  • Add IC3IA Max option
Assets 3
Loading

kind2-language-server 0.1.4

26 Apr 23:06
@daniel-larraz daniel-larraz
0.1.4
40b60b4
Compare
Choose a tag to compare
kind2-language-server 0.1.4 Pre-release
Pre-release
  • Bump Kind 2 Java API version to 0.3.4 (includes a fix)
Assets 3
Loading

kind2-language-server 0.1.3

19 Apr 20:50
@daniel-larraz daniel-larraz
0.1.3
b4364b5
This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
GPG key ID: 4AEE18F83AFDEB23
Expired
Learn about vigilant mode.
Compare
Choose a tag to compare
kind2-language-server 0.1.3 Pre-release
Pre-release
  • Add missing SMT solver option: MathSAT
  • Ensure Kind 2's error messages use original file paths
Assets 3
Loading

kind2-language-server 0.1.2

10 Mar 04:03
@daniel-larraz daniel-larraz
0.1.2
91503a2
This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
GPG key ID: 4AEE18F83AFDEB23
Expired
Learn about vigilant mode.
Compare
Choose a tag to compare
kind2-language-server 0.1.2 Pre-release
Pre-release
  • Replace Boolector with Bitwuzla
  • Add support for reachability properties
Assets 3
Loading

kind2-language-server 0.1.1

13 Dec 21:17
@daniel-larraz daniel-larraz
0.1.1
d3d8d02
Compare
Choose a tag to compare
kind2-language-server 0.1.1 Pre-release
Pre-release
  • Replace CVC4 SMT solver back-end with cvc5.
Assets 3
Loading