| Age | Commit message (Expand) | Author |
|---|---|---|
| 2011-11-22 | More language bindings work: | Morgan Deters |
| 2011-09-02 | Merge from my post-smtcomp branch. Includes: | Morgan Deters |
| 2011-05-05 | Merge from nonclausal-simplification-v2 branch: | Morgan Deters |
| 2011-03-27 | fixes to attribute-internals warnings on 64-bit; also some GCC function attri... | Morgan Deters |
| 2011-03-08 | Clean up Theory base class as per code review bug #60; also fixes to CodeTime... | Morgan Deters |
| 2010-10-29 | minor fixes as a result of review of Chris's getType() rewrite; also fix some... | Morgan Deters |
| 2010-10-24 | add a CVC4_UNDEFINED keyword, for intentionally undefined functions (like pri... | Morgan Deters |
| 2010-10-01 | replacement implementation for clock_gettime() on mac os x, build portability... | Morgan Deters |
| 2010-07-03 | With this commit come a number of changes to build system to support | Morgan Deters |
| 2010-06-04 | ** Don't fear the files-changed list, almost all changes are in the ** | Morgan Deters |
| 2010-04-01 | PARSER STUFF: | 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