projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 7cc7212) | patch
Changing const TNode& to TNode in the CNF conversion + a new small benchmark that...
authorDejan Jovanović <dejan.jovanovic@gmail.com>
Thu, 11 Mar 2010 20:53:41 +0000 (20:53 +0000)
committerDejan Jovanović <dejan.jovanovic@gmail.com>
Thu, 11 Mar 2010 20:53:41 +0000 (20:53 +0000)
commit90d829959edf8ad97bd837230933c8443f63b95b
treec16151da149b9db04d84f726efe12076c1d75846tree
parent7cc72123f6b422a53c8840ca034cfdb353be59bfcommit | diff
Changing const TNode& to TNode in the CNF conversion + a new small benchmark that fail on "x != x"
src/prop/cnf_stream.cpp diff | blob | history
src/prop/cnf_stream.h diff | blob | history
src/prop/sat.h diff | blob | history
test/regress/regress0/uf/iso_icl_repgen004.smt [new file with mode: 0644] blob