projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 037134f) | patch
enabling theoryof=term for quantifiers with sharing
authorDejan Jovanović <dejan.jovanovic@gmail.com>
Sun, 17 Jun 2012 18:22:01 +0000 (18:22 +0000)
committerDejan Jovanović <dejan.jovanovic@gmail.com>
Sun, 17 Jun 2012 18:22:01 +0000 (18:22 +0000)
commitcee98d92b912c584f460882ea2f00de6d8e49586
tree0032419dc2e90f046499ca75a9c4e1cf2539cde2tree
parent037134f3dd1311c5184d61d7e46315ea384a3ebacommit | diff
enabling theoryof=term for quantifiers with sharing
disableing one test case in equantifiers/decision that runs long
src/smt/smt_engine.cpp diff | blob | history
test/regress/regress0/decision/Makefile.am diff | blob | history