| Age | Commit message (Expand) | Author |
|---|---|---|
| 2013-11-12 | Minor portfolio fixes for some platforms. | Morgan Deters |
| 2013-09-12 | fix bug 534: portfolio define-fun duplicate model | Kshitij Bansal |
| 2013-04-02 | Regenerated copyrights: canonicalized names, no emails | Morgan Deters |
| 2013-04-01 | update copyrights | Morgan Deters |
| 2012-11-28 | fix a potential race (have failed to reproduce) | Kshitij Bansal |
| 2012-10-19 | Fix problem with incremental with portfolio. Fixes bug 420. | Kshitij Bansal |
| 2012-10-11 | Standardizing copyright notice. Touches **ALL** sources, guys, sorry.. it's | Morgan Deters |
| 2012-09-08 | Single driver for both sequential and portfolio | Kshitij Bansal |
| 2012-07-31 | Options merge. This commit: | Morgan Deters |
| 2012-02-20 | portfolio merge | Morgan Deters |
 |
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