New release: ProVerif 1.98

I am pleased to announce a new release of ProVerif, version 1.98.
ProVerif is a automatic security protocol verifier that relies on the symbolic model of cryptography.

ProVerif is available at
It is also available via opam (see installation instructions
in Section 1.4 of the manual )

The main novelty is an interactive simulator by Marc Sylvestre and I,
which allows you to run your protocol step by step interactively
(see Section 3.4 of the manual).