Releases: sybila/huctl
Releases · sybila/huctl
HUCTLp
2.2.3
2.2.2
2.2.1
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
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