Age | Commit message (Collapse) | Author | |
---|---|---|---|
2011-10-31 | another make distclean fix | Morgan Deters | |
2011-10-31 | fixes to "make distclean" and "make maintainerclean" | Morgan Deters | |
2011-09-30 | interfaces fixes and cleanups...and examples of each interface! | Morgan Deters | |
2011-07-11 | submission script | Morgan Deters | |
2011-07-09 | fix submission makefile | Morgan Deters | |
2011-06-18 | Some fixes inspired by Fedora 15: | Morgan Deters | |
* compilation fixes for GCC 4.6.x + ptrdiff_t is now in std:: * fix some make rules that are ok in Make 3.81 but broke in Make 3.82 * look for cxxtestgen.py as well as cxxtestgen.pl, and look for cxxtest headers in /usr/include | |||
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 | |