projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: acb9a19) | patch
Work on synchronizing decision=justification and E-matching.
authorajreynol <andrew.j.reynolds@gmail.com>
Tue, 11 Nov 2014 10:38:35 +0000 (11:38 +0100)
committerajreynol <andrew.j.reynolds@gmail.com>
Tue, 11 Nov 2014 10:38:41 +0000 (11:38 +0100)
commitb7ae36dbc1d0905a6e59d654431b4b7c0223665e
treea17215e2458bf3eadde47b0ef154d01d2a23d936tree
parentacb9a199fdf2005995137eff46f0cab697c69448commit | diff
Work on synchronizing decision=justification and E-matching.
src/theory/quantifiers/candidate_generator.cpp diff | blob | history
src/theory/quantifiers/term_database.cpp diff | blob | history
src/theory/quantifiers/term_database.h diff | blob | history