Ryan Scott bf8938bc30 Bump upper version bounds to allow base-4.20 ... Bump the upper version bounds on `base` in the various `what4` packages, and bump the `aig` submodule to bring in the changes from https://github.com/GaloisInc/aig/pull/18.		2024-09-19 10:40:12 -04:00
..
src/What4/Solver	Support building with GHC 9.6	2023-07-28 15:13:12 -04:00
LICENSE	Various metadata updates.	2020-07-21 17:43:47 -07:00
Setup.hs	Rename the crucible-abc package to what4-abc	2018-05-10 18:05:54 -07:00
what4-abc.cabal	Bump upper version bounds to allow base-4.20	2024-09-19 10:40:12 -04:00