Age | Commit message (Collapse) | Author |
|
|
|
and the SAT context is owned by the SmtEngine.
|
|
|
|
|
|
strategy for CEGQI. Add option for single/multi triggers. Minor cleanup.
|
|
|
|
|
|
Rabitti for the report.
|
|
for cegqi.
|
|
user patterns.
|
|
|
|
|
|
|
|
|
|
mkRep for multi triggers.
|
|
|
|
|
|
|
|
Thanks Johannes Kanig for the report.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
Christoph Sticksel for reporting these.
|
|
ground terms).
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
disabling codatatype reasoning. Minor cleanup.
|
|
|
|
|
|
|
|
|
|
minimal instantiation level.
|
|
based on ground equalities. Add filtering options to options file.
|
|
|
|
quantifiers check. Minor fix for conjecture generation.
|