projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 3ff5a32) | patch
Initial infrastructure for function definition quantifiers, internal parsing format...
authorajreynol <andrew.j.reynolds@gmail.com>
Tue, 28 Oct 2014 13:28:31 +0000 (14:28 +0100)
committerajreynol <andrew.j.reynolds@gmail.com>
Tue, 28 Oct 2014 13:28:31 +0000 (14:28 +0100)
commit55323fd7283d758caf31e637be237d2416b86167
tree250940ce676196591ddc35bed7291991545e6271tree
parent3ff5a32a45f2830acc4600b38332a287db4cf60acommit | diff
Initial infrastructure for function definition quantifiers, internal parsing format for Smt2.
src/Makefile.am diff | blob | history
src/parser/smt2/Smt2.g diff | blob | history
src/theory/quantifiers/fun_def_process.cpp [new file with mode: 0644] blob
src/theory/quantifiers/fun_def_process.h [new file with mode: 0644] blob
src/theory/quantifiers/inst_strategy_e_matching.cpp diff | blob | history
src/theory/quantifiers/options diff | blob | history
src/theory/quantifiers/quantifiers_attributes.cpp diff | blob | history
src/theory/quantifiers/term_database.cpp diff | blob | history
src/theory/quantifiers/term_database.h diff | blob | history
src/theory/quantifiers/theory_quantifiers.cpp diff | blob | history