search

GaloisInc / what4

Symbolic formula representation and solver interaction library
155 stars 13 forks source link

new release to allow building with ghc-9.8? #261

Closed juhp closed 6 months ago

juhp commented 6 months ago

Just wondering about any plans for the next release?

I would like to put copilot into Stackage Nightly but it will need what4.

RyanGlScott commented 6 months ago

I plan to cut a new What4 release soon after I've done some additional validation of the changes in #256.

RyanGlScott commented 6 months ago

I've uploaded what4-1.6 to Hackage, which is compatible with GHC 9.8.

juhp commented 6 months ago

Thank you!