| Age | Commit message (Expand) | Author |
|---|
| 2014-06-11 | --best now implies --with-glpk --with-abc | Morgan Deters |
| 2014-06-11 | Some clean-up, post bv-merge. | Morgan Deters |
| 2014-01-08 | Merge branch '1.3.x' | Morgan Deters |
| 2014-01-08 | Switch license default back to BSD, and add --best and --enable-gpl options. | Morgan Deters |
| 2013-12-23 | Proof-checking code; fixups of segfaults and missing functionality in proof g... | Morgan Deters |
| 2013-12-17 | some config changes: new --bsd option, readline gives warning, default build ... | Morgan Deters |
| 2013-12-09 | GLPK build identifier, license warnings. | Morgan Deters |
| 2013-11-11 | Some fixes to build system with dependency-tracking is off; should fix RPM/De... | Morgan Deters |
| 2013-09-18 | Support a personal build configuration and make rules. | Morgan Deters |
| 2013-07-29 | Fix numerous compiler warnings on various platforms | Morgan Deters |
| 2013-03-26 | Fixes for warnings from clang++, from -std=gnu++0x, from swig, and from javac | Morgan Deters |
| 2012-03-30 | fixing some build systme warnings | Dejan Jovanović |
| 2011-10-28 | merged the proofgen3 branch into trunk: | Liana Hadarean |
| 2011-09-28 | better fix for #281, also fix issue with command line options not existing on... | Morgan Deters |
| 2011-09-16 | fix debian build without breaking anything (i hope) | Morgan Deters |
| 2011-09-02 | Merge from my post-smtcomp branch. Includes: | Morgan Deters |
| 2011-04-10 | merge from replay branch | Morgan Deters |
| 2010-12-17 | tls.h, rational.h, and integer.h are only re-generated if changed. this obvi... | Morgan Deters |
| 2010-10-04 | fix regular expressions in build system | 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-18 | "statistics" and "staticbinary" are now tags on the build (so you get build d... | Morgan Deters |
| 2010-03-05 | * public/private code untangled (smt/smt_engine.h no longer #includes | Morgan Deters |
| 2010-02-22 | Re-committing revision 232 properly: | Morgan Deters |
| 2010-02-22 | undoing improperly-committed revision 232; will re-commit to get "svn blame" ... | Morgan Deters |
| 2010-02-22 | * Add virtual destructors to CnfStream, Theory, OutputChannel, and | Cesare Tinelli |
| 2010-02-19 | * Attribute infrastructure -- static design. Documentation is coming. | Morgan Deters |
| 2009-12-17 | support nonstandard, unconfigured builds (e.g., "./configure debug" followed ... | Morgan Deters |
| 2009-12-16 | + refactoring fixes for expr package based on code review (see bug #4) | Morgan Deters |
| 2009-12-11 | build fixes, configuration simplifications | Morgan Deters |
