Skip to content

Commit

Permalink
Bump libpoly submodule to v0.1.12 tag
Browse files Browse the repository at this point in the history 
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.
  • Loading branch information
@RyanGlScott
RyanGlScott committed Feb 5, 2024
1 parent 7384c5c commit d13ed3b
Showing 1 changed file with 1 addition and 1 deletion.
2 changes: 1 addition & 1 deletion repos/libpoly
Submodule libpoly updated 51 files
+27 −0 .github/actions/install-dependencies/action.yml
+39 −0 .github/workflows/ci.yml
+1 −0 .gitignore
+0 −49 .travis.yml
+2 −2 CMakeLists.txt
+1 −1 README.md
+3 −0 build/.gitignore
+2 −2 debian/changelog
+7 −2 include/algebraic_number.h
+5 −0 include/polyxx/algebraic_number.h
+6 −0 include/upolynomial.h
+2 −2 python/polypyAlgebraicNumber.h
+30 −0 python/polypyAlgebraicNumber2.c
+30 −0 python/polypyAlgebraicNumber3.c
+0 −15 scripts/osx.deps.sh
+0 −15 scripts/ubuntu.deps.sh
+13 −9 src/CMakeLists.txt
+31 −0 src/interval/arithmetic.c
+6 −0 src/interval/arithmetic.h
+4 −2 src/interval/interval.c
+169 −12 src/number/algebraic_number.c
+34 −2 src/number/dyadic_rational.h
+4 −2 src/number/integer.c
+5 −3 src/number/integer.h
+5 −3 src/number/rational.h
+4 −2 src/number/value.c
+4 −2 src/polynomial/feasibility_set.c
+4 −2 src/polynomial/output.c
+12 −0 src/polyxx/algebraic_number.cpp
+0 −2 src/upolynomial/factorization.c
+4 −2 src/upolynomial/output.c
+7 −0 src/upolynomial/upolynomial.c
+8 −4 src/utils/assignment.c
+100 −0 src/utils/u_memstream.c
+83 −0 src/utils/u_memstream.h
+5 −3 src/variable/variable_order.c
+1,783 −1,270 test/polyxx/doctest.h
+38 −1 test/polyxx/test_algebraic_number.cpp
+5 −1 test/polyxx/test_assignment.cpp
+7 −0 test/polyxx/test_dyadic_interval.cpp
+7 −0 test/polyxx/test_dyadic_rational.cpp
+7 −0 test/polyxx/test_integer.cpp
+7 −0 test/polyxx/test_interval.cpp
+5 −1 test/polyxx/test_interval_assignment.cpp
+10 −1 test/polyxx/test_polynomial.cpp
+7 −0 test/polyxx/test_rational.cpp
+7 −0 test/polyxx/test_rational_interval.cpp
+7 −0 test/polyxx/test_upolynomial.cpp
+12 −5 test/polyxx/test_value.cpp
+5 −1 test/polyxx/test_variable.cpp
+16 −0 test/python/tests/algebraic_number.py

0 comments on commit d13ed3b

Please sign in to comment.