Releases · ticktac-project/tchecker-vscode · GitHub

07 Aug 09:01

fredher

v0.1 Pre-release

Pre-release

Initial release of TChecker VS Code extension:

syntax highlighting
syntax checking integrated to VS Code
verification from within VS Code
simulation integrated to VS Code

Assets 3