projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 6b553f3) | patch
Add options --qcf-all-conflict, --ite-dtt-split-quant, refactor --ite-lift-quant...
authorajreynol <andrew.j.reynolds@gmail.com>
Wed, 1 Jul 2015 16:42:43 +0000 (18:42 +0200)
committerajreynol <andrew.j.reynolds@gmail.com>
Wed, 1 Jul 2015 16:43:31 +0000 (18:43 +0200)
commitd475d255f3c61380524517cd9b97725dcb0c9c22
tree399550b70a8322739d903285724bcc5c0a1fc9e5tree
parent6b553f3ee59749f74475ee5c88b06ac04c16b3c6commit | diff
Add options --qcf-all-conflict, --ite-dtt-split-quant, refactor --ite-lift-quant. Minor bug fixes for internalReps, alpha equivalence.  Update casc 25 FOF script.
contrib/run-script-casc25-fof diff | blob | history
contrib/run-script-casc25-tfa [new file with mode: 0644] blob
contrib/run-script-casc25-tff [deleted file] blob | history
src/theory/quantifiers/modes.h diff | blob | history
src/theory/quantifiers/options diff | blob | history
src/theory/quantifiers/options_handlers.h diff | blob | history
src/theory/quantifiers/quant_conflict_find.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/term_database.cpp diff | blob | history
src/theory/quantifiers_engine.cpp diff | blob | history