Age | Commit message (Expand) | Author |
2013-04-26 | FCSimplex branch merge | Tim King |
2013-04-02 | One final fix to "make submission" rule | Morgan Deters |
2013-04-01 | Adjust release Makefile rules, new run script | Morgan Deters |
2013-03-19 | Remove PropositionalQuery class and all CUDD-related build stuff (and referen... | Morgan Deters |
2012-10-26 | today's build system fix: sometimes examples weren't built with "make example... | ACSYS |
2012-10-23 | some fixes for "make examples" and "make install-examples" when invoked from ... | Morgan Deters |
2012-10-03 | better documentation, allow examples to be installed, etc | Morgan Deters |
2012-07-08 | Bugs resolved by this commit: #314, #322, #359, #364, #365. | Morgan Deters |
2012-06-18 | final sources (?) for competition | Morgan Deters |
2012-06-16 | updated build script for smt-comp submission | Morgan Deters |
2012-06-14 | some changes to make CVC4 work nicely with trace executor for application tra... | Morgan Deters |
2012-06-13 | adding some regressions to the usual regressions runs; several recently-fixed... | Morgan Deters |
2012-06-13 | revisions to the "make submission" target | Morgan Deters |
2012-06-13 | Don't use the "inlined" feature of ANTLR 3.2, which causes a buffer overflow ... | Morgan Deters |
2012-06-12 | Fix to SMT-LIBv1 parser: QF_UF declares sort "U", but other *UF* logics do no... | Morgan Deters |
2012-06-06 | Fixing numerous issues with tests and "make dist": | Morgan Deters |
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 |
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 |
2010-10-31 | enable dependence graphs in doxygen; fix lots of doxygen warnings, fix some d... | Morgan Deters |
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; al... | Morgan Deters |
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 p... | Morgan Deters |
2009-12-16 | Fixes to the build system: | Morgan Deters |
2009-12-08 | check in automake/libtool/autoconf-generated files; add better file not found... | Morgan Deters |
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 |