/tsl-vscode

TSL vscode extension

Primary LanguageTypeScriptMIT LicenseMIT

TSL vscode extension

Visual Studio Marketplace Version

for TSL, Temporal Stream Logic.

  • Syntax highlight
  • Snippets
  • Command
    • Synthesize
    • Check
    • Split
    • tsl2toml
    • tslplay
    • tslsym
    • tslcoregen
  • Language server

License

MIT License © 2022 wuwe1