search

GaloisInc / what4-solvers

Multi-platform binary creation for solvers of the versions most suitable for use with What4
5 stars 1 forks source link

Update `z3` to 4.8.14 #14

Closed RyanGlScott closed 2 years ago

RyanGlScott commented 2 years ago

Currenty, snapshot-20210917 bundles Z3 4.8.10. This proves problematic for Cryptol, as this version is known to cause Cryptol's regression test suite to hang. See GaloisInc/cryptol#1107. We should upgrade to Z3 4.8.14, which is the most recent Z3 version at the time of writing.

RyanGlScott commented 2 years ago

Released as snapshot-20220114.