search

GaloisInc / cryptol

Cryptol: The Language of Cryptography
https://galoisinc.github.io/cryptol/master/RefMan.html
BSD 3-Clause "New" or "Revised" License
1.14k stars 126 forks source link

Python: Require argo-client >=0.0.13 #1752

Closed RyanGlScott closed 2 months ago

RyanGlScott commented 2 months ago

This updates the cryptol Python bindings to require the use of argo-client-0.0.13 or later, bringing in the performance improvements from https://github.com/GaloisInc/argo/pull/216.