Package: cvc4 / 1.6-2

Metadata

Package Version Patches format
cvc4 1.6-2 3.0 (quilt)

Patch series

view the series file
Patch File delta Description
01 timestamps.patch | (download)

src/base/configuration.cpp | 2 1 + 1 - 0 !
1 file changed, 1 insertion(+), 1 deletion(-)

 make timestamps reproducible
02 man pages.patch | (download)

doc/cvc4.1 | 11 3 + 8 - 0 !
doc/cvc4.1_template.in | 11 3 + 8 - 0 !
2 files changed, 6 insertions(+), 16 deletions(-)

 remove references to uninstalled man pages
03 examples.patch | (download)

examples/api/bitvectors.cpp | 3 1 + 2 - 0 !
examples/api/bitvectors_and_arrays.cpp | 3 1 + 2 - 0 !
examples/api/combination.cpp | 3 1 + 2 - 0 !
examples/api/datatypes.cpp | 4 1 + 3 - 0 !
examples/api/extract.cpp | 3 1 + 2 - 0 !
examples/api/helloworld.cpp | 6 1 + 5 - 0 !
examples/api/linear_arith.cpp | 3 1 + 2 - 0 !
examples/api/sets.cpp | 4 1 + 3 - 0 !
examples/api/strings.cpp | 4 1 + 3 - 0 !
9 files changed, 9 insertions(+), 24 deletions(-)

 fix #include directives in some examples
04 fix spelling.patch | (download)

doc/SmtEngine.3cvc | 2 1 + 1 - 0 !
doc/cvc4.1 | 2 1 + 1 - 0 !
doc/options.3cvc | 2 1 + 1 - 0 !
src/options/arith_options.toml | 2 1 + 1 - 0 !
src/options/options.cpp | 2 1 + 1 - 0 !
src/prop/bvminisat/core/Solver.cc | 2 1 + 1 - 0 !
src/theory/quantifiers/first_order_model.h | 2 1 + 1 - 0 !
src/theory/quantifiers/sygus/cegis.h | 2 1 + 1 - 0 !
src/theory/quantifiers/sygus/cegis_unif.h | 2 1 + 1 - 0 !
src/theory/quantifiers/sygus/sygus_explain.h | 2 1 + 1 - 0 !
src/theory/quantifiers/sygus_sampler.h | 4 2 + 2 - 0 !
11 files changed, 12 insertions(+), 12 deletions(-)

 fix the spelling errors found by lintian