search

GaloisInc / saw-script

The SAW scripting language.
BSD 3-Clause "New" or "Revised" License
442 stars 63 forks source link

Update pypi to use latest cryptol python package #2101

Closed weaversa closed 2 months ago

weaversa commented 3 months ago

Cryptol 3.2 has been released but the saw-client python package depends on cryptol==3.1.1.

saw-client 1.1.1 requires cryptol==3.1.1, but you have cryptol 3.2.0 which is incompatible.

Are there plans to update saw-client to use cryptol version 3.2.0?

andrew-bivin commented 3 months ago

Thanks, @weaversa . We'll address this ASAP

andrew-bivin commented 3 months ago

@weaversa we anticipate having a new SAW release ready by early next week, including a fix for this.

mccleeary-galois commented 2 months ago

@weaversa We wanted a few tickets to land for SAW which have now and we will be starting the process for release.

mccleeary-galois commented 2 months ago

All dependencies have been updated and released and SAW is now being prepared for release here https://github.com/GaloisInc/saw-script/pull/2113.

mccleeary-galois commented 2 months ago

saw-client 1.2 has been release to PyPI here https://pypi.org/project/saw-client/1.2/