cascremers / scyther

The Scyther Tool for the symbolic analysis of security protocols
https://cispa.saarland/group/cremers/scyther/index.html
96 stars 38 forks source link

Add support to wxPython 4.0.7, fixes export attack images and program exit code #22

Closed satheler closed 4 years ago

satheler commented 4 years ago

In README was added information about exporting images with Graphviz