| 2010-09-02 |
Morgan Deters | * add TimerStat statistic type |
blob | commitdiff | raw |
| 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 |
|
projects / cvc5.git / history