projects / cvc5.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
removes unsound cases, adds unrolling
[cvc5.git] / Makefile
2013-09-18 Morgan DetersSupport a personal build configuration and make rules. blob | commitdiff | raw
2013-04-30 lianahfixed merge conflicts blob | commitdiff | raw | diff to current
2013-04-26 Tim KingFCSimplex branch merge blob | commitdiff | raw | diff to current
2013-04-02 Morgan DetersOne final fix to "make submission" rule blob | commitdiff | raw | diff to current
2013-04-02 Morgan DetersAdjust release Makefile rules, new run script blob | commitdiff | raw | diff to current
2013-03-20 Liana Hadareanmerged master with dejan's constant evaluating equality... blob | commitdiff | raw | diff to current
2013-03-19 Morgan DetersRemove PropositionalQuery class and all CUDD-related... blob | commitdiff | raw | diff to current
2012-10-26 ACSYStoday's build system fix: sometimes examples weren... blob | commitdiff | raw | diff to current
2012-10-23 Morgan Deterssome fixes for "make examples" and "make install-exampl... blob | commitdiff | raw | diff to current
2012-10-03 Morgan Detersbetter documentation, allow examples to be installed... blob | commitdiff | raw | diff to current
2012-07-08 Morgan DetersBugs resolved by this commit: #314, #322, #359, #364... blob | commitdiff | raw | diff to current
2012-06-18 Morgan Detersfinal sources (?) for competition blob | commitdiff | raw | diff to current
2012-06-16 Morgan Detersupdated build script for smt-comp submission blob | commitdiff | raw | diff to current
2012-06-14 Morgan Deterssome changes to make CVC4 work nicely with trace execut... blob | commitdiff | raw | diff to current
2012-06-13 Morgan Detersadding some regressions to the usual regressions runs... blob | commitdiff | raw | diff to current
2012-06-13 Morgan Detersrevisions to the "make submission" target blob | commitdiff | raw | diff to current
2012-06-13 Morgan DetersDon't use the "inlined" feature of ANTLR 3.2, which... blob | commitdiff | raw | diff to current
2012-06-12 Morgan DetersFix to SMT-LIBv1 parser: QF_UF declares sort "U", but... blob | commitdiff | raw | diff to current
2012-06-06 Morgan DetersFixing numerous issues with tests and "make dist": blob | commitdiff | raw | diff to current
2011-10-31 Morgan Detersanother make distclean fix blob | commitdiff | raw | diff to current
2011-10-31 Morgan Detersfixes to "make distclean" and "make maintainerclean" blob | commitdiff | raw | diff to current
2011-09-30 Morgan Detersinterfaces fixes and cleanups...and examples of each... blob | commitdiff | raw | diff to current
2011-07-11 Morgan Deterssubmission script blob | commitdiff | raw | diff to current
2011-07-09 Morgan Detersfix submission makefile blob | commitdiff | raw | diff to current
2011-06-18 Morgan DetersSome fixes inspired by Fedora 15: blob | commitdiff | raw | diff to current
2011-04-10 Morgan Detersmerge from replay branch blob | commitdiff | raw | diff to current
2011-03-15 Morgan DetersMerge from cudd branch. This mostly just adds support... blob | commitdiff | raw | diff to current
2010-10-31 Morgan Detersenable dependence graphs in doxygen; fix lots of doxyge... blob | commitdiff | raw | diff to current
2010-10-29 Morgan Detersportability updates to build system blob | commitdiff | raw | diff to current
2010-09-02 Morgan Detersneglected build system update from r848 (last commit) blob | commitdiff | raw | diff to current
2010-07-07 Morgan Deterscompetition submission should be fully static blob | commitdiff | raw | diff to current
2010-07-07 Morgan Detersfixed submission target blob | commitdiff | raw | diff to current
2010-07-07 Morgan Detersthings for competition upload: new "make submission... blob | commitdiff | raw | diff to current
2010-02-04 Morgan Deterstest infrastructure updated for multiple-level regressions blob | commitdiff | raw | diff to current
2010-01-27 Morgan Deterssupport "make check" in src/ subdirs for unit-testing... blob | commitdiff | raw | diff to current
2009-12-17 Morgan Deterscoding standard fix on SmtEngine; fix recursive make blob | commitdiff | raw | diff to current
2009-12-17 Morgan Detersbuild system cleanup; test system separation into white... blob | commitdiff | raw | diff to current
2009-12-16 Morgan DetersFixes to the build system: blob | commitdiff | raw | diff to current
2009-12-08 Morgan Deterscheck in automake/libtool/autoconf-generated files... blob | commitdiff | raw | diff to current
2009-12-07 Morgan Detersbig check-in of various fixes and adjustments blob | commitdiff | raw | diff to current
2009-12-05 Morgan Detersmore build system work blob | commitdiff | raw | diff to current
2009-12-04 Morgan Detersmore build system work blob | commitdiff | raw | diff to current
2009-12-03 Morgan Detersfirst attempt at new build system blob | commitdiff | raw | diff to current