Require `versions >= 6.0.2`

GaloisInc / what4

Symbolic formula representation and solver interaction library

154 stars 13 forks source link

Require `versions >= 6.0.2` #242

Closed RyanGlScott closed 1 year ago

RyanGlScott commented 1 year ago

versions-6.0.2 introduces a Lift Version instance, which finally allows us to delete the ugly, CPP'd mess of orphan instances that we define in What4.Utils.Versions.

Related to #240.