Differentiate errors & warnings

ProVerif / vscode-proverif-language-service

ProVerif support for VSCode

MIT License

1 stars 0 forks source link

Closed famoser closed 1 year ago

famoser commented 1 year ago

Ensure ProVerif warnings (e.g. variable overriden) shown as warnings in the IDE (and not errors)

famoser commented 1 year ago

In that effort, possibly demote "Error: Lemma not used because there is no matching query." to a warning.

famoser commented 1 year ago

Resolved by #6