ProVerif Syntax Highlighting for VS Code

This extension is deprecated in favor of https://marketplace.visualstudio.com/items?itemName=ProVerif.vscode-proverif.

Syntax highlighting for ProVerif files

1.1.1

Support for .horn, .pi, .horntype files. New logo.

1.1.0

Updated Grammar by @VincentCheval

1.0.0

Initial release

Credits

Proverif: Bruno Blanchet et al.

ProVerif Grammar: Vincent Cheval

ProVerif Logo by Charlie Jacome

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