We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
Merge branch 'master' of https:/ticktac-project/tchecker.wiki
Updated expressions and identifiers
Updated TChecker file format (markdown)
Added documentation for combined binary expressions
Updated reserved words
Fixed links
Updated documentation to v0.3
Minor modifications
Fixed description of clock assignments, and made sequential semantics of assignments more precise