Skip to content
| Marketplace
Sign in
Visual Studio Code>Programming Languages>ProVerifNew to Visual Studio Code? Get it now.

ProVerif

Georgio Nicolas

|
1,476 installs
| (1) | Free
ProVerif Syntax Highlighting
Installation
Launch VS Code Quick Open (Ctrl+P), paste the following command, and press enter.
Copied to clipboard
More Info

ProVerif Syntax Highlighting for VS Code

ProVerif

Syntax highlighting for ProVerif files

1.1.0

Updated Grammar by @VincentCheval

1.0.0

Initial release

Credits

Proverif: Bruno Blanchet et al.

ProVerif Grammar: Vincent Cheval

ProVerif mascot from Verifpal: Nadim Kobeissi

License

This extension is free and open source software, licensed under the GNU General Public License, version 3.

Maintainer: Georgio Nicolas

  • Contact us
  • Jobs
  • Privacy
  • Terms of use
  • Trademarks
© 2023 Microsoft