Age | Commit message (Collapse) | Author |
|
inst-level attribute to quant-inst-max-level
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
(it can be brought back from version control, if needed)
|
|
* Add TheorySets::getEqualityStatus(TNode, TNode)
* Add TheorySets::getModelValue(TNode)
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
integers (default schema).
|
|
|
|
|
|
|
|
Conflicts:
test/regress/regress0/Makefile.am
|
|
This reverts commit a8e0ce673ba00533a663804cf74500e4d9a3a5cb.
|
|
setting inst-level 0 only for input terms.
|
|
Code changed but comment didn't, might as well get rid of it.
|
|
--enable-static-binary.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|