search

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

Closes #30, enabling builds on Windows under MSYS2 per instructions in Wiki #32

Closed SamJakob closed 1 year ago

SamJakob commented 1 year ago

Supercedes #31 which included an extraneous commit.

cascremers commented 1 year ago

Thanks @SamJakob, much appreciated!