Age | Commit message (Expand) | Author |
---|---|---|
2013-04-02 | Regenerated copyrights: canonicalized names, no emails | Morgan Deters |
2013-04-01 | update copyrights | Morgan Deters |
2013-04-01 | Merging some cleanup work: | Morgan Deters |
2013-03-27 | fixed inequality checkDisequalities inefficiency | lianah |
2013-03-26 | added model generation for bv subtheories and bv-inequality solver option | lianah |
2013-03-26 | fixed inequality bugs due to improper explanation | lianah |
2013-03-25 | getEqualityStatus now also queries the inequality solver | lianah |
2013-03-24 | added support for disequalities in the inequality solver | Liana Hadarean |
2013-03-24 | incremental inequality solver implemented | lianah |
2013-03-23 | non-incremental inequality solver seems to be bug-free (i.e. passes fuzzing) | lianah |
2013-03-20 | generalized bv inequality reasoning to handle both strict and non-strict ineq... | lianah |
2013-03-19 | inequality reasoning works on small examples added to regressions (not increm... | Liana Hadarean |
2013-03-19 | added the cpp file for the inequality graph | Liana Hadarean |