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