| Age | Commit message (Expand) | Author |
|---|---|---|
| 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 |
 |
index : cvc5.git | |
| CVC4 is an efficient open-source automatic theorem prover for satisfiability modulo theories (SMT) problems. | git repository hosting |
| summaryrefslogtreecommitdiff |
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback