Age | Commit message (Collapse) | Author | |
---|---|---|---|
2018-02-15 | Refactor regressions (#1581) | Andrew Reynolds | |
2014-06-30 | Use FS as the set-logic string for theory of sets | Kshitij Bansal | |
2014-06-22 | Renaming of SMT2 operator names, kinds for set theory | Kshitij Bansal | |
* 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". | |||
2014-05-16 | sets: fix a bug in model building, another in handling set of sets | Kshitij Bansal | |