Age | Commit message (Expand) | Author |
2014-11-07 | Update competition build rules. | Morgan Deters |
2014-06-22 | Another updated submission strategy. | Morgan Deters |
2014-06-19 | Some reversions of recent commits re: portfolio failure. | Morgan Deters |
2014-06-19 | Test portfolio with --no-wait-to-join. | Morgan Deters |
2014-06-19 | fix typo | Morgan Deters |
2014-06-15 | One last(?) fix for build script for smtcomp uploads. | Morgan Deters |
2014-06-13 | Allow parallel failures when building competition version (they are spurious). | Morgan Deters |
2014-06-12 | More make submission stuff | Morgan Deters |
2014-06-11 | more fix-ups | Morgan Deters |
2014-06-11 | more smtcomp-submission script work | Morgan Deters |
2014-06-11 | Fix parallel run script. | Morgan Deters |
2014-06-11 | Some clean-up, post bv-merge. | Morgan Deters |
2014-06-06 | Fix submission script (again). | Morgan Deters |
2014-06-05 | SMT-COMP version gets built --with-abc. | Morgan Deters |
2014-06-03 | Another check when making SMT-COMP submission zipfiles. | Morgan Deters |
2014-06-03 | Fix StarExec description files for new requirements. | Morgan Deters |
2014-05-30 | More make rules | Morgan Deters |
2014-05-30 | One final bit (I hope) of make magic | Morgan Deters |
2014-05-30 | More make rules | Morgan Deters |
2014-05-30 | Update submission make rules. | Morgan Deters |
2013-09-18 | Support a personal build configuration and make rules. | Morgan Deters |
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 |