| 2013-08-13 |
Morgan Deters | --segv-nospin is now default. |
blob | commitdiff | raw |
| 2013-04-02 |
Morgan Deters | Regenerated copyrights: canonicalized names, no emails |
blob | commitdiff | raw | diff to current |
| 2013-04-02 |
Morgan Deters | update copyrights |
blob | commitdiff | raw | diff to current |
| 2013-03-13 |
lianah | post failed attempts at getting the incremental solver... |
blob | commitdiff | raw | diff to current |
| 2013-02-04 |
Morgan Deters | Merge branch '1.0.x' |
blob | commitdiff | raw | diff to current |
| 2013-02-04 |
Morgan Deters | driver::totalTime statistic is now reported correctly... |
blob | commitdiff | raw | diff to current |
| 2012-10-11 |
Morgan Deters | Standardizing copyright notice. Touches **ALL** source... |
blob | commitdiff | raw | diff to current |
| 2012-09-22 |
Morgan Deters | Separate public-facing and internal-facing interfaces... |
blob | commitdiff | raw | diff to current |
| 2012-07-31 |
Morgan Deters | Options merge. This commit: |
blob | commitdiff | raw | diff to current |
| 2012-02-20 |
Morgan Deters | portfolio merge |
blob | commitdiff | raw | diff to current |
| 2011-09-02 |
Morgan Deters | Merge from my post-smtcomp branch. Includes: |
blob | commitdiff | raw | diff to current |
| 2011-05-05 |
Morgan Deters | Merge from nonclausal-simplification-v2 branch: |
blob | commitdiff | raw | diff to current |
| 2011-04-04 |
Morgan Deters | Add documentation to Node and TNode (closes bug #201). |
blob | commitdiff | raw | diff to current |
| 2011-04-01 |
Morgan Deters | This commit is a merge from the "betterstats" branch... |
blob | commitdiff | raw | diff to current |
| 2010-10-31 |
Morgan Deters | maximize stack limit, handle SEGV signals on an alterna... |
blob | commitdiff | raw | diff to current |
| 2010-10-22 |
Christopher L. Conway | Merging main/getopt.cpp, main/usage.h, and smt/options... |
blob | commitdiff | raw | diff to current |
| 2010-09-13 |
Morgan Deters | statistics are now printed on timeout (SIGXCPU) and... |
blob | commitdiff | raw | diff to current |
| 2010-06-04 |
Morgan Deters | ** Don't fear the files-changed list, almost all change... |
blob | commitdiff | raw | diff to current |
| 2010-04-01 |
Morgan Deters | PARSER STUFF: |
blob | commitdiff | raw | diff to current |
| 2010-02-04 |
Morgan Deters | remove -*- c++ -*- emacs tag from source files (it... |
blob | commitdiff | raw | diff to current |
| 2010-02-04 |
Morgan Deters | src/expr/kind.h is now automatically generated. |
blob | commitdiff | raw | diff to current |
| 2010-02-04 |
Morgan Deters | minor fix for update-copyright.pl; ran update-copyright... |
blob | commitdiff | raw | diff to current |
| 2009-12-17 |
Morgan Deters | update-copyright.pl now retrieves and incorporates... |
blob | commitdiff | raw | diff to current |
| 2009-12-17 |
Morgan Deters | addressed some concerns raised by Clark in bug #6 ... |
blob | commitdiff | raw | diff to current |
| 2009-12-17 |
Clark Barrett | Minor changes from code review |
blob | commitdiff | raw | diff to current |
| 2009-12-06 |
Dejan Jovanović | Big chunk of changes: |
blob | commitdiff | raw | diff to current |
| 2009-11-23 |
Morgan Deters | fixups, file comments |
blob | commitdiff | raw | diff to current |
| 2009-11-19 |
Morgan Deters | testing framework, configure fixes, incorporations... |
blob | commitdiff | raw | diff to current |
| 2009-11-18 |
Morgan Deters | work on exprs, driver, util |
blob | commitdiff | raw | diff to current |
|
projects / cvc5.git / history