projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: c15ff43) | patch
Add smt comp 2016 scripts. Fix for --relevant-triggers. Add minor optimizations to...
authorajreynol <andrew.j.reynolds@gmail.com>
Tue, 10 May 2016 19:33:08 +0000 (14:33 -0500)
committerajreynol <andrew.j.reynolds@gmail.com>
Tue, 10 May 2016 19:33:15 +0000 (14:33 -0500)
commit33e781995fb1384473fdec386c981a4aeb50b356
tree286c18e5e330b110ae3b8126e265811fe0d0688etree
parentc15ff43597b41ea457befecb1b0e2402e28cb523commit | diff
Add smt comp 2016 scripts. Fix for --relevant-triggers. Add minor optimizations to sygus and qcf.
contrib/run-script-smtcomp2016 [new file with mode: 0644] blob
contrib/run-script-smtcomp2016-application [new file with mode: 0644] blob
src/options/quantifiers_options diff | blob | history
src/theory/quantifiers/ce_guided_instantiation.cpp diff | blob | history
src/theory/quantifiers/ce_guided_instantiation.h diff | blob | history
src/theory/quantifiers/inst_strategy_e_matching.cpp diff | blob | history
src/theory/quantifiers/inst_strategy_e_matching.h diff | blob | history
src/theory/quantifiers/quant_conflict_find.cpp diff | blob | history
src/theory/quantifiers/term_database.cpp diff | blob | history