1
0
mirror of https://git.FreeBSD.org/ports.git synced 2024-12-25 04:43:33 +00:00
freebsd-ports/math/cvc4/files
Fernando Apesteguía 549b27dafd math/cvc4: update to 1.7
ChangeLog:

https://github.com/CVC4/CVC4/releases/tag/1.7

* New Features:
    Proofs:
        Support for bit-vector proofs with eager bitblasting
    Strings:
        Support for str.replaceall operator.
        New option --re-elim
    SyGuS:
        Support for abduction (--sygus-abduct)

* Improvements:
    Strings:
        Significantly better performance

* Changes:
    API change: Expr::iffExpr() is renamed to Expr::eqExpr()
    Compiling the language bindings now requires SWIG 3 instead of SWIG 2.
    The CVC3 compatibility layer has been removed.
    The build system now uses CMake instead of Autotools
2019-08-01 15:20:28 +00:00
..
patch-cmake_FindANTLR.cmake math/cvc4: update to 1.7 2019-08-01 15:20:28 +00:00
patch-cmake_FindReadline.cmake math/cvc4: update to 1.7 2019-08-01 15:20:28 +00:00
patch-doc_CMakeLists.txt math/cvc4: update to 1.7 2019-08-01 15:20:28 +00:00
patch-examples_CMakeLists.txt math/cvc4: update to 1.7 2019-08-01 15:20:28 +00:00
patch-src_base_configuration.cpp math/cvc4: update to 1.7 2019-08-01 15:20:28 +00:00
patch-src_CMakeLists.txt math/cvc4: update to 1.7 2019-08-01 15:20:28 +00:00
patch-src_main_portfolio.cpp
patch-test_CMakeLists.txt math/cvc4: update to 1.7 2019-08-01 15:20:28 +00:00
patch-test_regress_CMakeLists.txt math/cvc4: update to 1.7 2019-08-01 15:20:28 +00:00
patch-test_system_CMakeLists.txt math/cvc4: update to 1.7 2019-08-01 15:20:28 +00:00