mirror of
https://github.com/GaloisInc/what4.git
synced 2024-09-11 12:15:51 +03:00
This patch contains a variety of fixes needed to build the libraries in the what4 repo with GHC 9.8: * Bump the upper version bounds on `base` and `text` to allow building with the versions that are bundled with GHC 9.8 (`base-4.19.*` and `text-2.1.*`, respectively). * Replace uses of `head` and `tail` (which trigger `-Wx-partial` warnings with GHC 9.8) with total functions or `panic`s, depending on what is appropriate. * Bump the `aig` submodule to bring in the changes from GaloisInc/aig#16 and GaloisInc/aig#17. |
||
---|---|---|
.. | ||
abcBridge@a521872c50 | ||
aig@372d533621 | ||
blt@d0c8d9d14f |