2014-06-11 |
Morgan Deters | --best now implies --with-glpk --with-abc |
blob | commitdiff | raw |
2014-06-11 |
Morgan Deters | Some clean-up, post bv-merge. |
blob | commitdiff | raw | diff to current |
2014-04-01 |
Tim King | Merge branch '1.3.x' |
blob | commitdiff | raw | diff to current |
2014-03-26 |
Morgan Deters | Merge branch '1.3.x' |
blob | commitdiff | raw | diff to current |
2014-03-11 |
Morgan Deters | Merge branch '1.3.x' |
blob | commitdiff | raw | diff to current |
2014-03-11 |
Morgan Deters | Merge branch '1.3.x' |
blob | commitdiff | raw | diff to current |
2014-02-21 |
Morgan Deters | Merge branch '1.3.x' |
blob | commitdiff | raw | diff to current |
2014-02-21 |
Morgan Deters | Merge branch '1.3.x' |
blob | commitdiff | raw | diff to current |
2014-02-19 |
Tim King | Merge branch '1.3.x' |
blob | commitdiff | raw | diff to current |
2014-01-27 |
Morgan Deters | Merge branch '1.3.x' |
blob | commitdiff | raw | diff to current |
2014-01-18 |
Morgan Deters | Merge branch '1.3.x' |
blob | commitdiff | raw | diff to current |
2014-01-17 |
Kshitij Bansal | Merge branch '1.3.x' |
blob | commitdiff | raw | diff to current |
2014-01-09 |
Morgan Deters | Merge branch '1.3.x' |
blob | commitdiff | raw | diff to current |
2014-01-08 |
Morgan Deters | Merge branch '1.3.x' |
blob | commitdiff | raw | diff to current |
2014-01-08 |
Morgan Deters | Switch license default back to BSD, and add --best... |
blob | commitdiff | raw | diff to current |
2014-01-02 |
Morgan Deters | Merge branch '1.3.x' |
blob | commitdiff | raw | diff to current |
2013-12-27 |
Morgan Deters | Merge branch '1.3.x' |
blob | commitdiff | raw | diff to current |
2013-12-26 |
Tianyi Liang | Merge branch 'master' of https://github.com/CVC4/CVC4 |
blob | commitdiff | raw | diff to current |
2013-12-24 |
Morgan Deters | Merge branch '1.3.x' |
blob | commitdiff | raw | diff to current |
2013-12-24 |
Morgan Deters | Merge branch '1.3.x' |
blob | commitdiff | raw | diff to current |
2013-12-23 |
Morgan Deters | Proof-checking code; fixups of segfaults and missing... |
blob | commitdiff | raw | diff to current |
2013-12-17 |
Tianyi Liang | Merge branch 'master' of https://github.com/CVC4/CVC4 |
blob | commitdiff | raw | diff to current |
2013-12-17 |
Morgan Deters | Merge branch '1.3.x' |
blob | commitdiff | raw | diff to current |
2013-12-17 |
Morgan Deters | some config changes: new --bsd option, readline gives... |
blob | commitdiff | raw | diff to current |
2013-12-15 |
Tianyi Liang | Merge branch 'master' of github.com:tiliang/CVC4 |
blob | commitdiff | raw | diff to current |
2013-12-11 |
Morgan Deters | GLPK build identifier, license warnings. |
blob | commitdiff | raw | diff to current |
2013-12-09 |
Morgan Deters | GLPK build identifier, license warnings. |
blob | commitdiff | raw | diff to current |
2013-11-11 |
Tianyi Liang | Merge branch 'master' of https://github.com/CVC4/CVC4 |
blob | commitdiff | raw | diff to current |
2013-11-11 |
Morgan Deters | Some fixes to build system with dependency-tracking... |
blob | commitdiff | raw | diff to current |
2013-09-30 |
Liana Hadarean | merged golden |
blob | commitdiff | raw | diff to current |
2013-09-18 |
Morgan Deters | Support a personal build configuration and make rules. |
blob | commitdiff | raw | diff to current |
2013-08-26 |
Kshitij Bansal | Merge branch '1.2.x' |
blob | commitdiff | raw | diff to current |
2013-07-29 |
Morgan Deters | Fix numerous compiler warnings on various platforms |
blob | commitdiff | raw | diff to current |
2013-03-27 |
lianah | Merge branch 'master' into bv-core |
blob | commitdiff | raw | diff to current |
2013-03-26 |
Morgan Deters | Fixes for warnings from clang++, from -std=gnu++0x... |
blob | commitdiff | raw | diff to current |
2012-03-30 |
Dejan Jovanović | fixing some build systme warnings |
blob | commitdiff | raw | diff to current |
2011-10-28 |
Liana Hadarean | merged the proofgen3 branch into trunk: |
blob | commitdiff | raw | diff to current |
2011-09-28 |
Morgan Deters | better fix for #281, also fix issue with command line... |
blob | commitdiff | raw | diff to current |
2011-09-16 |
Morgan Deters | fix debian build without breaking anything (i hope) |
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-04-10 |
Morgan Deters | merge from replay branch |
blob | commitdiff | raw | diff to current |
2010-12-17 |
Morgan Deters | tls.h, rational.h, and integer.h are only re-generated... |
blob | commitdiff | raw | diff to current |
2010-10-04 |
Morgan Deters | fix regular expressions in build system |
blob | commitdiff | raw | diff to current |
2010-10-01 |
Morgan Deters | replacement implementation for clock_gettime() on mac... |
blob | commitdiff | raw | diff to current |
2010-07-03 |
Morgan Deters | With this commit come a number of changes to build... |
blob | commitdiff | raw | diff to current |
2010-06-18 |
Morgan Deters | "statistics" and "staticbinary" are now tags on the... |
blob | commitdiff | raw | diff to current |
2010-03-05 |
Morgan Deters | * public/private code untangled (smt/smt_engine.h no... |
blob | commitdiff | raw | diff to current |
2010-02-22 |
Morgan Deters | Re-committing revision 232 properly: |
blob | commitdiff | raw | diff to current |
2010-02-22 |
Morgan Deters | undoing improperly-committed revision 232; will re... |
blob | commitdiff | raw | diff to current |
2010-02-22 |
Cesare Tinelli | * Add virtual destructors to CnfStream, Theory, OutputC... |
blob | commitdiff | raw | diff to current |
2010-02-19 |
Morgan Deters | * Attribute infrastructure -- static design. Documenta... |
blob | commitdiff | raw | diff to current |
2009-12-17 |
Morgan Deters | support nonstandard, unconfigured builds (e.g., ".... |
blob | commitdiff | raw | diff to current |
2009-12-16 |
Morgan Deters | + refactoring fixes for expr package based on code... |
blob | commitdiff | raw | diff to current |
2009-12-11 |
Morgan Deters | build fixes, configuration simplifications |
blob | commitdiff | raw | diff to current |
|