projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: e45b3b0) | patch
Bug fix for E-matching select terms, minor fix for bounded integers, bug fix to impro...
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Wed, 27 Nov 2013 01:02:21 +0000 (19:02 -0600)
committerAndrew Reynolds <andrew.j.reynolds@gmail.com>
Wed, 27 Nov 2013 01:02:32 +0000 (19:02 -0600)
commitdd7e0c66cab285c154f59ff27132059c34e09e23
tree73d61f763801d0c115dfe2e2849abdd771918944tree
parente45b3b0ff2ffc9bee6f090a4744f6d5eb6da8b72commit | diff
Bug fix for E-matching select terms, minor fix for bounded integers, bug fix to improve performance of quantifiers rewriter
src/theory/quantifiers/bounded_integers.cpp diff | blob | history
src/theory/quantifiers/inst_match.cpp diff | blob | history
src/theory/quantifiers/macros.cpp diff | blob | history
src/theory/quantifiers/model_engine.cpp diff | blob | history
src/theory/quantifiers/quantifiers_rewriter.cpp diff | blob | history
src/theory/quantifiers/quantifiers_rewriter.h diff | blob | history
src/theory/quantifiers_engine.cpp diff | blob | history