| Age | Commit message (Collapse) | Author |
|---|
|
|
|
|
|
|
|
lemmas being rewritten). Minor improvement to dt care graph. Reenable regressions.
|
|
Minor fix for fun defs.
|
|
model builder.
|
|
|
|
Force split on true first in combineTheories
Fix bugs in getModelValue in bit-vectors
|
|
definitions using FMF.
|
|
format for Smt2.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
--dt-binary-split.
|
|
|
|
changes to options.
|
|
|
|
CEGQI. Improve care graph/equality status for datatypes. Only do FULL effort check in datatypes if no other theories used output channel.
|
|
|
|
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.
|
|
|
|
|
|
|
|
|
|
|
