projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 902262c) | patch
Update CaDiCaL to version 1.0.3. (#3137)
authorMathias Preiner <mathias.preiner@gmail.com>
Fri, 2 Aug 2019 23:20:45 +0000 (16:20 -0700)
committerGitHub <noreply@github.com>
Fri, 2 Aug 2019 23:20:45 +0000 (16:20 -0700)
commit5001fa069ab42134333244b3f27c852724cea3e2
treec03b1730016a03094064b01311d5a529d9e00641tree
parent902262c421e52405204b3a95310c8414cc51a5c5commit | diff
Update CaDiCaL to version 1.0.3. (#3137)

* Removes incremental API check (#3011)
* Fixes toSatValueLit to use the new semantics of CaDiCaL's val()

Fixes #3011
cmake/ConfigureCVC4.cmake diff | blob | history
contrib/get-cadical diff | blob | history
src/options/options_handler.cpp diff | blob | history
src/prop/cadical.cpp diff | blob | history
test/regress/CMakeLists.txt diff | blob | history
test/regress/regress0/bv/eager-inc-cadical.smt2 [new file with mode: 0644] blob