diff options
| author | Gereon Kremer <gereon.kremer@cs.rwth-aachen.de> | 2020-07-17 09:06:31 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-07-17 00:06:31 -0700 |
| commit | 0a7e733a5cee4733ca8ca9fff1f6eab6fc22a549 (patch) | |
| tree | 8df7919ddfa7e3d3b6207f61edddfac6ed204305 /.github | |
| parent | 2ee5a2bcf5fd7aaf72d44553ebb85edd76fd06c8 (diff) | |
Integration of libpoly (#4679)
This commit integrates LibPoly into CVC4. It adds `contrib/get-poly`, adds it to the configure script, cmake and places where CVC4 inspects its own build configuration.
Furthermore, it adds `CVC4::RealAlgebraicNumber` (which wraps `poly::AlgebraicNumber`) including some basic unit tests and some utilities.
Diffstat (limited to '.github')
| -rw-r--r-- | .github/workflows/ci.yml | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml index da97a2cd2..7dd080f71 100644 --- a/.github/workflows/ci.yml +++ b/.github/workflows/ci.yml @@ -99,6 +99,7 @@ jobs: if: steps.restore-deps.outputs.cache-hit != 'true' run: | ./contrib/get-antlr-3.4 + ./contrib/get-poly ./contrib/get-symfpu ./contrib/get-cadical ./contrib/get-cryptominisat @@ -136,6 +137,7 @@ jobs: run: | ${{ matrix.env }} ./configure.sh ${{ matrix.config }} \ --python3 \ + --poly \ --prefix=$(pwd)/build/install \ --unit-testing |