projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 39af3d2) | patch
fixing bug310
authorDejan Jovanović <dejan.jovanovic@gmail.com>
Wed, 29 Feb 2012 20:06:21 +0000 (20:06 +0000)
committerDejan Jovanović <dejan.jovanovic@gmail.com>
Wed, 29 Feb 2012 20:06:21 +0000 (20:06 +0000)
commit9062483193f4ec9b38aaa57b228cae1fb551566a
tree09f8ccefbd00ff5f63b12a501076e0e0aa4aac80tree
parent39af3d2f0391aba90a1941433dfd57e37218f3c2commit | diff
fixing bug310

* theories that are parametric and therefore need the combination framwork should be tagged as "parametric" in the kinds file
* default care graph computation was not sufficient, fixed
src/theory/datatypes/kinds diff | blob | history
src/theory/theory.cpp diff | blob | history
src/theory/theory_engine.cpp diff | blob | history
test/regress/regress0/Makefile.am diff | blob | history
test/regress/regress0/bug310.cvc [new file with mode: 0644] blob