Age | Commit message (Collapse) | Author |
|
* SET_SINGLETON kind renamed to just SINGLETON
* "setenum" smt2 opertor renamed to "singleton"[1]
* "in" smt2 operator renamed to "member"[2]
[1] It was anyhow accepting exactly one argument, so was bit misleading
to call set enumerator.
[2] The corresponding kind was called MEMBER, so this will also make them
consistent. Only inconsistency now is for subset: kind is called
SUBSET but operator is called "subseteq".
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
StarExec infrastructure for testing.
|
|
according to bug report, fix was in 6267f3
|
|
|
|
|
|
|
|
(Int). Thanks to Dan Liew for the report.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
supported it.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
* Partial reversion of b8e28a7, do it a different way.
* Revert "Test portfolio with --no-wait-to-join."
This reverts commit 8b56004ee8bf6c34aaf045bec12bf0e4401a044c.
|
|
compilation troubles with libc++.
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|