projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: d95e525) | patch
Minor reorganization for ematching (#1701)
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Fri, 23 Mar 2018 18:33:12 +0000 (13:33 -0500)
committerGitHub <noreply@github.com>
Fri, 23 Mar 2018 18:33:12 +0000 (13:33 -0500)
commit4f506ac50e43a71a92094a478deeaa2c2cd1df4a
tree0b79c617f63a07e2da75de63312240c808855488tree
parentd95e5257f452d765aa67931f0b2af7b178f2e986commit | diff
Minor reorganization for ematching (#1701)
src/Makefile.am diff | blob | history
src/theory/quantifiers/candidate_generator.cpp [deleted file] blob | history
src/theory/quantifiers/candidate_generator.h [deleted file] blob | history
src/theory/quantifiers/ematching/candidate_generator.cpp [new file with mode: 0644] blob
src/theory/quantifiers/ematching/candidate_generator.h [new file with mode: 0644] blob
src/theory/quantifiers/ematching/inst_match_generator.cpp diff | blob | history
src/theory/quantifiers/ematching/inst_match_generator.h diff | blob | history
src/theory/quantifiers/ematching/trigger.cpp diff | blob | history
src/theory/quantifiers/ematching/trigger.h diff | blob | history