This updates the saw-client 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. It also brings in the use of cryptol-3.2.1, which is compatible with argo-client-0.0.13 or later.
This updates the
saw-clientPython bindings to require the use ofargo-client-0.0.13or later, bringing in the performance improvements from https://github.com/GaloisInc/argo/pull/216. It also brings in the use ofcryptol-3.2.1, which is compatible withargo-client-0.0.13or later.