0.5.0

0.5.0

• support for top-level INSTANCE and INSTANCE WITH operators

• command-line option --cinit to initialize CONSTANTS with a predicate

• support for [SUBSET S -> T] and [S -> SUBSET T]

• support for \E x \in Nat: p and \E x \in Int: p

• limited support for Int and Nat

• support for sequence operators: <<..>>, Head, Tail, Len, SubSeq, DOMAIN

• support for FiniteSets: Cardinality and FiniteSet

• support for TLC operators: @@ and :>

• support for complex EXCEPT expressions

• support for nested tuples in UNCHANGED, e.g., UNCHANGED << <<a>>, <<b, c>> >>

• speed up by using constants instead of uninterpreted functions

• options for fine tuning with --fine-tuning, see tuning

• bugfix in logback configuration