projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 20b3dab) | patch
Fixing unnecessary construction of NOT nodes when generating conflict clauses and:
authorDejan Jovanović <dejan.jovanovic@gmail.com>
Fri, 12 Mar 2010 23:41:12 +0000 (23:41 +0000)
committerDejan Jovanović <dejan.jovanovic@gmail.com>
Fri, 12 Mar 2010 23:41:12 +0000 (23:41 +0000)
commit856567b63c56b238db8a5bb84ad0da7990c1f1eb
treeab2a453f926b56070c39b9afba02dba7ba59858dtree
parent20b3dabb4823ede8147a08a47f8d909980414beecommit | diff
Fixing unnecessary  construction of NOT nodes when generating conflict clauses and:
* adding the smallest test case (eq_diamond23.smt) that memouts in 50s
* adding the initial attributes black box test
src/prop/sat.h diff | blob | history
src/theory/theory_engine.h diff | blob | history
test/regress/regress0/uf/eq_diamond23.smt [new file with mode: 0644] blob
test/unit/Makefile.am diff | blob | history
test/unit/expr/attribute_black.h [new file with mode: 0644] blob