| Age | Commit message (Expand) | Author |
|---|---|---|
| 2012-05-16 | Changes to SAT solver: | Dejan Jovanović |
| 2012-05-15 | Fix to shared terms visitor. | Tim King |
| 2012-05-14 | fixes for shared term registration. previously the type was not considered wh... | Dejan Jovanović |
| 2012-05-14 | fixing up preregistration again | Dejan Jovanović |
| 2012-05-08 | Merging in bvprop branch, with proper bit-vector propagation. | Liana Hadarean |
| 2012-05-04 | Guard for expensive Debug trace | Clark Barrett |
| 2012-05-03 | Some cleanup starting off from trying to understand the sharing code. Changes... | Dejan Jovanović |
| 2012-04-28 | New LogicInfo functionality. | Morgan Deters |
| 2011-09-15 | additional stuff for sharing, | Dejan Jovanović |
 |
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