Merge pull request #54 from GaloisInc/aarch64-patches

CVC4: Add patches to ease building on AArch64

Upgrade CVC5 to 1.1.1

This fixes a regression observed when using CVC5 1.0.8 in the Cryptol test
suite.

Bump libpoly submodule to v0.1.12 tag

Among other fixes, this brings in a fix for
SRI-CSL/libpoly#67, which is necessary to allow
`libpoly` to build with Clang 15 or later. This proves essential for building
`libpoly` (and therefore `yices`) on recent `macos-14` GitHub Actions CI
runners.

README: Note OS architectures

Try Z3 4.8.8

Build both Z3 4.8.10 and 4.8.14 versions

We now include both Z3 4.8.10 and 4.8.14 so that SAW's CI can revert back to
4.8.10 in certain cases, as 4.8.14 has been known to nondeterministically fail
on certain jobs. See GaloisInc/saw-script#1772.

Upgrade CVC5 to 1.0.2

This upgrades the CVC5 version from 1.0.1 to 1.0.2.

Add Ubuntu 22.04 binaries, drop Ubuntu 18.04

Fixes #21.

Use macOS 12

GitHub is deprecating (and eventually removing) its macOS 10.15 runners.
See actions/runner-images#5583. We might as
well take the opportunity to upgrade the macOS version we are building for.

CVC4: Enable symfpu

Fixes #23.