GaloisInc / what4

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

Allow building with `versions-6.0.*` #241

Closed RyanGlScott closed 1 year ago

RyanGlScott commented 1 year ago

versions-6.0.* removes the VChunk data type, which what4 defines an orphan Lift instance for. This requires some CPP to fix up. This is somewhat messy, and in an ideal world, we'd move these orphan instances directly to the versions library. (See also https://github.com/fosskers/versions/issues/68.)

Fixes #240.