Skip to content

v1.7.1

Compare
Choose a tag to compare
@famoser famoser released this 17 Nov 18:39
· 32 commits to main since this release

Use -parse-only if available to improve performance.
Send notification to user if proverif bin is not found.