Age | Commit message (Collapse) | Author |
|
Fixes 2887.
|
|
|
|
|
|
|
|
Adds missing override keywords.
|
|
|
|
|
|
|
|
|
|
|
|
argument.
|
|
|
|
improvement to sets.
|
|
|
|
unbounded heaps in sep logic. Fix another simple memory leak in sygus.
|
|
Fix a few more memory leaks.
|
|
to EPR
|
|
|
|
breaking in theory sep.
|
|
allow sep disequal card constants when type is monotonic. Update logics on sep regressions.
|
|
|
|
|
|
Ensure value of sep.nil is correct in models. Print instantiations as sexprs.
|
|
cleanup.
|
|
|
|
enabled. Fix sep.nil preregistration in TheorySep.
|
|
|
|
|