Age | Commit message (Collapse) | Author |
|
|
|
|
|
|
|
|
|
|
|
sets type enumerator
|
|
|
|
|
|
|
|
|
|
--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.
|
|
|
|
Context-dependent expr attributes are now attached to a specific SmtEngine, and the SAT context is owned by the SmtEngine.
|
|
and the SAT context is owned by the SmtEngine.
|
|
|
|
|
|
|
|
|
|
strategy for CEGQI. Add option for single/multi triggers. Minor cleanup.
|
|
|
|
pointer bug.
|
|
|
|
|
|
Rabitti for the report.
|
|
|
|
for cegqi.
|
|
user patterns.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
mkRep for multi triggers.
|
|
|
|
|
|
|
|
|
|
|