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

Python 2 is deprecated #20

Closed pyropeter closed 1 year ago

pyropeter commented 5 years ago

For this to work after 31.12.2019 without significant effort, it needs to be ported to Python 3.

https://pythonclock.org/

cascremers commented 3 years ago

This is finally being tackled in the python3-wxpython4 branch, to be released soon (I hope).

infinisil commented 2 years ago

Is this work still ongoing? Otherwise scyther will be removed from the nixpkgs package collection for now (see above PR)

cascremers commented 2 years ago

The work is actually completed in a branch, but didn't find time yet for proper release.

cascremers commented 1 year ago

Released a while ago, should all work now since v1.2 (2411493).