Age | Commit message (Collapse) | Author | |
---|---|---|---|
2011-04-10 | merge from replay branch | Morgan Deters | |
2011-03-15 | Merge from cudd branch. This mostly just adds support for linking | Morgan Deters | |
against cudd libraries, the propositional_query class (in util/), which uses cudd if it's available (and otherwise answers UNKNOWN for all queries), and the arith theory support for it (currently disabled per Tim's request, so he can clean it up). Other changes include: * contrib/debug-keys - script to print all used keys under Debug(), Trace() * test/regress/run_regression - minor fix (don't export a variable) * configure.ac - replace a comment removed by dejan's google perf commit * some minor copyright/documentation updates, and minor changes to source text to make 'clang --analyze' happy. | |||
2010-10-31 | enable dependence graphs in doxygen; fix lots of doxygen warnings, fix some ↵ | Morgan Deters | |
documentation, and make it possible to "make doc" on a clean source tree (post-configure) | |||
2010-10-29 | portability updates to build system | Morgan Deters | |
2010-09-02 | neglected build system update from r848 (last commit) | Morgan Deters | |
2010-07-07 | competition submission should be fully static | Morgan Deters | |
2010-07-07 | fixed submission target | Morgan Deters | |
2010-07-07 | things for competition upload: new "make submission" target | Morgan Deters | |
2010-02-04 | test infrastructure updated for multiple-level regressions | Morgan Deters | |
2010-01-27 | support "make check" in src/ subdirs for unit-testing of just that module; ↵ | Morgan Deters | |
also support synonyms for "make check" globally | |||
2009-12-17 | coding standard fix on SmtEngine; fix recursive make | Morgan Deters | |
2009-12-17 | build system cleanup; test system separation into white-box, black-box, and ↵ | Morgan Deters | |
public tests | |||
2009-12-16 | Fixes to the build system: | Morgan Deters | |
Makefile.am files - remove obsolete INCLUDES, incorporate into AM_CPPFLAGS Makefile files in src/ - support "make" under src/ (current build profile) configure.ac - updates to fix warnings config/antlr.m4 - updates to fix warnings autogen.sh - updates to generate warnings from autotools; also support Macs src/include/cvc4_config.h - guard with #ifdef total reimplementation of NodeBuilder ExprValue => NodeValue context_mm.{h,cpp} - fixed numerous compile errors | |||
2009-12-08 | check in automake/libtool/autoconf-generated files; add better file not ↵ | Morgan Deters | |
found handling | |||
2009-12-07 | big check-in of various fixes and adjustments | Morgan Deters | |
2009-12-05 | more build system work | Morgan Deters | |
2009-12-04 | more build system work | Morgan Deters | |
2009-12-03 | first attempt at new build system | Morgan Deters | |