V1.0.1

v1.0.1 supports syntax highlight for the following language features:

• member accessor
• record data type
• one predicate
• anonymous edges
• primitive data types
• operators
• path condition
• assert/invariant/conditional edges/variables
• fresh/initial statements
• modifiers
• options

v1.0.0

v1.0.0 supports syntax highlight for the following language features:

• Member accessor
• Record data type
• One predicate
• Anonymous edges
• constants & variables
• Standard logic/arithmetic/boolean operators
• Path operators
• assert/invariant/where statements
• fresh/initial statements
• always/some quantifiers
• options