summaryrefslogtreecommitdiff
path: root/Makefile
AgeCommit message (Expand)Author
2014-11-07Update competition build rules.Morgan Deters
2014-06-22Another updated submission strategy.Morgan Deters
2014-06-19Some reversions of recent commits re: portfolio failure.Morgan Deters
2014-06-19Test portfolio with --no-wait-to-join.Morgan Deters
2014-06-19fix typoMorgan Deters
2014-06-15One last(?) fix for build script for smtcomp uploads.Morgan Deters
2014-06-13Allow parallel failures when building competition version (they are spurious).Morgan Deters
2014-06-12More make submission stuffMorgan Deters
2014-06-11more fix-upsMorgan Deters
2014-06-11more smtcomp-submission script workMorgan Deters
2014-06-11Fix parallel run script.Morgan Deters
2014-06-11Some clean-up, post bv-merge.Morgan Deters
2014-06-06Fix submission script (again).Morgan Deters
2014-06-05SMT-COMP version gets built --with-abc.Morgan Deters
2014-06-03Another check when making SMT-COMP submission zipfiles.Morgan Deters
2014-06-03Fix StarExec description files for new requirements.Morgan Deters
2014-05-30More make rulesMorgan Deters
2014-05-30One final bit (I hope) of make magicMorgan Deters
2014-05-30More make rulesMorgan Deters
2014-05-30Update submission make rules.Morgan Deters
2013-09-18Support a personal build configuration and make rules.Morgan Deters
2013-04-26FCSimplex branch mergeTim King
2013-04-02One final fix to "make submission" ruleMorgan Deters
2013-04-01Adjust release Makefile rules, new run scriptMorgan Deters
2013-03-19Remove PropositionalQuery class and all CUDD-related build stuff (and referen...Morgan Deters
2012-10-26today's build system fix: sometimes examples weren't built with "make example...ACSYS
2012-10-23some fixes for "make examples" and "make install-examples" when invoked from ...Morgan Deters
2012-10-03better documentation, allow examples to be installed, etcMorgan Deters
2012-07-08Bugs resolved by this commit: #314, #322, #359, #364, #365.Morgan Deters
2012-06-18final sources (?) for competitionMorgan Deters
2012-06-16updated build script for smt-comp submissionMorgan Deters
2012-06-14some changes to make CVC4 work nicely with trace executor for application tra...Morgan Deters
2012-06-13adding some regressions to the usual regressions runs; several recently-fixed...Morgan Deters
2012-06-13revisions to the "make submission" targetMorgan Deters
2012-06-13Don't use the "inlined" feature of ANTLR 3.2, which causes a buffer overflow ...Morgan Deters
2012-06-12Fix to SMT-LIBv1 parser: QF_UF declares sort "U", but other *UF* logics do no...Morgan Deters
2012-06-06Fixing numerous issues with tests and "make dist":Morgan Deters
2011-10-31another make distclean fixMorgan Deters
2011-10-31fixes to "make distclean" and "make maintainerclean"Morgan Deters
2011-09-30interfaces fixes and cleanups...and examples of each interface!Morgan Deters
2011-07-11submission scriptMorgan Deters
2011-07-09fix submission makefileMorgan Deters
2011-06-18Some fixes inspired by Fedora 15:Morgan Deters
2011-04-10merge from replay branchMorgan Deters
2011-03-15Merge from cudd branch. This mostly just adds support for linkingMorgan Deters
2010-10-31enable dependence graphs in doxygen; fix lots of doxygen warnings, fix some d...Morgan Deters
2010-10-29portability updates to build systemMorgan Deters
2010-09-02neglected build system update from r848 (last commit)Morgan Deters
2010-07-07competition submission should be fully staticMorgan Deters
2010-07-07fixed submission targetMorgan Deters
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback