projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 801e6b8) | patch
sets: fix a bug in model building, another in handling set of sets
authorKshitij Bansal <kshitij@cs.nyu.edu>
Fri, 16 May 2014 22:18:35 +0000 (18:18 -0400)
committerKshitij Bansal <kshitij@cs.nyu.edu>
Fri, 16 May 2014 22:18:35 +0000 (18:18 -0400)
commit647c6045788cd586c4534e0b63744bff4dd2f1ef
tree5288d6885e0e8b5b046908f36285b490aaacf859tree
parent801e6b84901c76dbeaebe756397909b0db1ee947commit | diff
sets: fix a bug in model building, another in handling set of sets
src/theory/sets/theory_sets_private.cpp diff | blob | history
src/theory/sets/theory_sets_private.h diff | blob | history
src/theory/sets/theory_sets_rewriter.cpp diff | blob | history
src/theory/sets/theory_sets_rewriter.h diff | blob | history
src/theory/theory_model.cpp diff | blob | history
test/regress/regress0/sets/Makefile.am diff | blob | history
test/regress/regress0/sets/setofsets-disequal.smt2 [new file with mode: 0644] blob
test/regress/regress0/sets/sets-disequal.smt2 [new file with mode: 0644] blob