Releases · jdmota/java-typestate-checker · GitHub

21 Jun 12:06

jdmota

3.1-pre.3 Latest

Latest

Assets 3

21 Mar 12:06

jdmota

3.1-pre.2

Assets 3

07 Dec 22:38

jdmota

3.1-pre.1

Assets 3

30 Nov 16:49

jdmota

3.0

Added initial support for subtyping!

Assets 3