2011-10-31 |
Morgan Deters | fixes to "make distclean" and "make maintainerclean" |
blob | commitdiff | raw |
2011-09-30 |
Morgan Deters | interfaces fixes and cleanups...and examples of each... |
blob | commitdiff | raw | diff to current |
2011-09-29 |
Morgan Deters | Some base infrastructure for user push/pop; a few bugfi... |
blob | commitdiff | raw | diff to current |
2011-09-24 |
Morgan Deters | Fix to building and linking for unit tests. (This... |
blob | commitdiff | raw | diff to current |
2011-09-18 |
Morgan Deters | cleaned up the mechanism for library versioning |
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-03-25 |
Morgan Deters | This is a merge from the "theoryfixes+cdattrhash" branc... |
blob | commitdiff | raw | diff to current |
2010-11-15 |
Morgan Deters | fix some things with the build system (make dist, make... |
blob | commitdiff | raw | diff to current |
2010-10-27 |
Morgan Deters | "make dist" fixes; a distribution tarball can now build... |
blob | commitdiff | raw | diff to current |
2010-09-02 |
Morgan Deters | * add TimerStat statistic type |
blob | commitdiff | raw | diff to current |
2010-07-04 |
Morgan Deters | make dist && make distcheck functional, other fixes |
blob | commitdiff | raw | diff to current |
2010-06-15 |
Morgan Deters | fix last commit gcc options (-wunknown-pragmas ==>... |
blob | commitdiff | raw | diff to current |
2010-06-15 |
Morgan Deters | remove warnings about unknown #pragma GCC diagnostic... |
blob | commitdiff | raw | diff to current |
2010-04-14 |
Morgan Deters | * Better dependency tracking for unit test building... |
blob | commitdiff | raw | diff to current |
2010-04-09 |
Morgan Deters | minor fixes to lcov build target, better contextobj... |
blob | commitdiff | raw | diff to current |
2010-04-09 |
Morgan Deters | added experimental "make lcov" target (it runs only... |
blob | commitdiff | raw | diff to current |
2010-03-08 |
Morgan Deters | This fixes regressions at levels >= 1 which were failing |
blob | commitdiff | raw | diff to current |
2010-02-18 |
Christopher L. Conway | Rm'ing doc from SUBDIRS |
blob | commitdiff | raw | diff to current |
2010-02-18 |
Christopher L. Conway | Adding doxygen configuration parameters and doxygen... |
blob | commitdiff | raw | diff to current |
2010-02-05 |
Morgan Deters | remove the last vestiges of support for "make build... |
blob | commitdiff | raw | diff to current |
2010-02-04 |
Morgan Deters | build system for multi-level regressions |
blob | commitdiff | raw | diff to current |
2009-12-17 |
Morgan Deters | coding standard fix on SmtEngine; fix recursive make |
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-05 |
Morgan Deters | more build system work |
blob | commitdiff | raw | diff to current |
2009-11-25 |
Morgan Deters | additional work on parser hookup, configuration + build |
blob | commitdiff | raw | diff to current |
2009-11-20 |
Morgan Deters | fixes to build/test system |
blob | commitdiff | raw | diff to current |
2009-11-19 |
Morgan Deters | testing framework, configure fixes, incorporations... |
blob | commitdiff | raw | diff to current |
2009-11-17 |
Morgan Deters | fixes/redesign of source layout from meeting |
blob | commitdiff | raw | diff to current |
2009-11-12 |
Morgan Deters | parser, minisat, other things.. |
blob | commitdiff | raw | diff to current |
2009-11-09 |
Morgan Deters | minor fixes, added contrib directory |
blob | commitdiff | raw | diff to current |
2009-11-03 |
Morgan Deters | commit of project structure including autotools support |
blob | commitdiff | raw | diff to current |
|