projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: b273e58) | patch
bug fixes to models, array rewriter with previously failing testcases
authorClark Barrett <barrett@cs.nyu.edu>
Wed, 14 Nov 2012 21:54:25 +0000 (21:54 +0000)
committerClark Barrett <barrett@cs.nyu.edu>
Wed, 14 Nov 2012 21:54:25 +0000 (21:54 +0000)
commit56013a80a76b0d46f6f8497d7570e51877dbf99d
tree9d4ed01590a15b13b91485333fd497e26889e0c0tree
parentb273e586629c5759dc88cd962e52a89f65b674a7commit | diff
bug fixes to models, array rewriter with previously failing testcases
src/theory/arrays/theory_arrays.cpp diff | blob | history
src/theory/arrays/theory_arrays.h diff | blob | history
src/theory/arrays/theory_arrays_rewriter.h diff | blob | history
src/theory/model.cpp diff | blob | history
src/theory/model.h diff | blob | history
test/regress/regress0/aufbv/Makefile.am diff | blob | history
test/regress/regress0/aufbv/fuzz13.smt [new file with mode: 0644] blob
test/regress/regress0/auflia/Makefile.am diff | blob | history
test/regress/regress0/auflia/fuzz02.smt [new file with mode: 0644] blob
test/regress/regress0/auflia/fuzz03.smt [new file with mode: 0644] blob
test/regress/regress0/auflia/fuzz04.smt [new file with mode: 0644] blob