2.0.0

• ConstrainedExpression now only works with GloballyQuantifiedExpression.

Full Changelog: 1.1.3...2.0.0

1.1.3

• Fixed issue where expressions containing not were incorrectly returning nil.

Full Changelog: 1.1.2...1.1.3

1.1.2

What's Changed

• Add support for SubExpressions by @Morgan2010 in #1

Full Changelog: 1.1.1...1.1.2

1.1.1

• Hotfix that corrects an issue where valid TCTL wasn't being parsed correctly.

Full Changelog: 1.1.0...1.1.1

1.1.0

Add support for comments within specification files by using the -- prefix.

1.0.0

Created basic TCTL parser that support VHDL and constrained expressions using time and energy.

Full Changelog: https://github.com/CPSLabGU/TCTLParser/commits/1.0.0