ProVerif Syntax Highlighting for VS Code

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