HUCTLp

• rename to HUCTLp
• drop old CTL code
• support for 'string' propositions
• new, more concise API based on Kotlin 1.1
• new DSL
• simplified parser API
• fully documented

2.2.3

• Fix incorrect parser error handling

2.2.2

• fix comments (finally!)

2.2.1

• Fix comments

HUCTL Parser

• add loop propositions
• make Reference atom visible so that it can be used by hybrid/first-order operators
• convenience functions for parsing only direction formulas or atoms

HUCTL Parser

• support for HUCTL

2.0.0

See Pull Request #11

CTL Parser

• make the parser fail on every error

CTL Parser

• allow using names that contain underscores and end with question mark, such as foo_name?

CTL Parser

Force Java 7 compatibility