Age | Commit message (Expand) | Author |
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 |