projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 1703b16) | patch
Fixing an issue with LogicInfo::isPure() that turned off simplification in QF_UF...
authorMorgan Deters <mdeters@gmail.com>
Thu, 17 May 2012 20:45:32 +0000 (20:45 +0000)
committerMorgan Deters <mdeters@gmail.com>
Thu, 17 May 2012 20:45:32 +0000 (20:45 +0000)
commitf49378f9acb65b78ab29d89d37c644d0b203ebae
treef4a1a8a3c4cc2212ffba3c2e83c22367f77ef4d9tree
parent1703b160511396cd23be5203d9af86641b45766ecommit | diff
Fixing an issue with LogicInfo::isPure() that turned off simplification in QF_UF and maybe others
src/theory/logic_info.h diff | blob | history
test/unit/theory/logic_info_white.h diff | blob | history