Ryan Scott 3b9eafbc91 CI: Update what4-solvers to use Z3 4.8.14 ... The previous `what4-solvers` snapshot used Z3 4.8.10, which is known to cause severe performance regressions with the `negshift` regression test. See #1107. This updates to a more recent `what4-solvers` snapshot that uses Z3 4.8.14 instead, which is known to work more reliably with `negshift`.		2022-01-14 14:48:11 -05:00
..
workflows	CI: Update what4-solvers to use Z3 4.8.14	2022-01-14 14:48:11 -05:00
ci.sh	Add some functionality comments to ci.sh	2021-09-20 08:56:11 -07:00
pr-labeler.yml	Implement GitHub actions (#722)	2020-05-14 10:50:22 -07:00
release-drafter.yml	Implement GitHub actions (#722)	2020-05-14 10:50:22 -07:00
wix.ps1	Implement GitHub actions (#722)	2020-05-14 10:50:22 -07:00