Syntax highlight support for the applied pi-calculus language of ProVerif in KDE editors (Kate, KWrite, Kile, ...).
This highlighter follows the syntax parsed by ProVerif 2.04 and the subset from CryptoVerif that is currently compatible/understood by ProVerif.
Additionally, one can use the Objective Caml doc in the comments (that start with (**).
It currently does not support bound names in queries.
To use the syntax highlighting, place the file proverif.xml to
For local user $HOME/.local/share/org.kde.syntax-highlighting/syntax/
For Flatpak packages $HOME/.var/app/package-name/data/org.kde.syntax-highlighting/syntax/
For Snap packages $HOME/snap/package-name/current/.local/share/org.kde.syntax-highlighting/syntax/
On Windows® %USERPROFILE%\AppData\Local\org.kde.syntax-highlighting\syntax\
On macOS® $HOME/Library/Application Support/org.kde.syntax-highlighting/syntax/
It might be easier to just download a copy of the file proverif.xml to your local directory without cloning the whole repository.
If you have wget installed in your system, you can easily do
mkdir -p ~/.local/share/org.kde.syntax-highlighting/syntax/
cd ~/.local/share/org.kde.syntax-highlighting/syntax/
wget https://raw.githubusercontent.com/nitrogl/kde-proverif-highlight/main/proverif.xml
You may need to restart your KDE editors too see the changes.
If you open a .pv or .pi file, it should automatically load the correct highlighting.