projects / cvc5.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
missed files for the latter commit
[cvc5.git] / Makefile.builds.in
2014-01-27 Morgan DetersMerge branch '1.3.x' blob | commitdiff | raw
2014-01-18 Morgan DetersMerge branch '1.3.x' blob | commitdiff | raw
2014-01-17 Kshitij BansalMerge branch '1.3.x' blob | commitdiff | raw
2014-01-09 Morgan DetersMerge branch '1.3.x' blob | commitdiff | raw
2014-01-08 Morgan DetersMerge branch '1.3.x' blob | commitdiff | raw
2014-01-02 Morgan DetersMerge branch '1.3.x' blob | commitdiff | raw
2013-12-27 Morgan DetersMerge branch '1.3.x' blob | commitdiff | raw
2013-12-24 Morgan DetersMerge branch '1.3.x' blob | commitdiff | raw
2013-12-24 Morgan DetersMerge branch '1.3.x' blob | commitdiff | raw
2013-12-22 Morgan DetersMerge branch '1.3.x' blob | commitdiff | raw
2013-12-18 Morgan DetersMerge branch '1.3.x' blob | commitdiff | raw
2013-12-18 Morgan DetersMerge branch '1.3.x' blob | commitdiff | raw
2013-12-18 Morgan DetersMerge branch '1.3.x' blob | commitdiff | raw
2013-12-17 Morgan DetersMerge branch '1.3.x' blob | commitdiff | raw
2013-12-17 Tianyi LiangMerge branch 'master' of https://github.com/CVC4/CVC4 blob | commitdiff | raw
2013-12-17 Morgan DetersMerge branch '1.3.x' blob | commitdiff | raw
2013-12-17 Morgan DetersFirst attempt at incorporating LFSC proof checker into... blob | commitdiff | raw
2013-03-15 Morgan DetersMerge branch '1.0.x' blob | commitdiff | raw | diff to current
2013-03-14 Morgan DetersMerge branch '1.0.x' blob | commitdiff | raw | diff to current
2013-03-13 lianahpost failed attempts at getting the incremental solver... blob | commitdiff | raw | diff to current
2013-03-05 Morgan DetersMerge branch '1.0.x' blob | commitdiff | raw | diff to current
2013-03-01 Morgan DetersMerge branch '1.0.x' blob | commitdiff | raw | diff to current
2013-02-26 lianahMerge branch '1.0.x' blob | commitdiff | raw | diff to current
2013-02-26 lianahMerge branch '1.0.x' of https://github.com/CVC4/CVC4... blob | commitdiff | raw | diff to current
2013-02-17 Kshitij BansalMerge branch '1.0.x' blob | commitdiff | raw | diff to current
2013-02-16 Morgan DetersMerge branch '1.0.x' blob | commitdiff | raw | diff to current
2013-02-15 Kshitij BansalMerge branch '1.0.x' blob | commitdiff | raw | diff to current
2013-02-15 Kshitij BansalMerge branch '1.0.x' blob | commitdiff | raw | diff to current
2013-02-15 Morgan DetersMerge branch '1.0.x' blob | commitdiff | raw | diff to current
2013-02-15 Morgan DetersFix builds/ links to survive configuring twice with... blob | commitdiff | raw | diff to current
2013-02-15 Tim KingMerge branch '1.0.x' blob | commitdiff | raw | diff to current
2013-02-08 Morgan DetersMerge branch '1.0.x' blob | commitdiff | raw | diff to current
2013-02-05 Morgan DetersMerge branch '1.0.x' blob | commitdiff | raw | diff to current
2013-02-05 Kshitij BansalMerge remote-tracking branch 'origin/1.0.x' blob | commitdiff | raw | diff to current
2013-02-05 Morgan DetersMerge branch '1.0.x' blob | commitdiff | raw | diff to current
2013-02-04 Morgan DetersMerge branch '1.0.x' blob | commitdiff | raw | diff to current
2013-02-04 Morgan DetersMerge branch '1.0.x' blob | commitdiff | raw | diff to current
2013-02-02 lianahmerged master into branch blob | commitdiff | raw | diff to current
2013-02-01 Morgan DetersMerge branch '1.0.x' blob | commitdiff | raw | diff to current
2013-01-31 Morgan DetersMerge branch '1.0.x' blob | commitdiff | raw | diff to current
2013-01-28 Morgan DetersMerge branch '1.0.x' blob | commitdiff | raw | diff to current
2013-01-27 Morgan DetersMerge branch '1.0.x' blob | commitdiff | raw | diff to current
2013-01-24 Morgan DetersAdd win32 support (merge from mdeters/win32, with some... blob | commitdiff | raw | diff to current
2012-11-26 Morgan DetersMakefile fix for new versions of Make (thanks Clark... blob | commitdiff | raw | diff to current
2012-11-15 Morgan Detersfix for "make examples" blob | commitdiff | raw | diff to current
2012-10-25 ACSYSmore minor fixes to build system blob | commitdiff | raw | diff to current
2012-10-24 Morgan DetersIncludes many fixes to build system for Solaris (thanks... 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-06 Morgan DetersFixing numerous issues with tests and "make dist": blob | commitdiff | raw | diff to current
2012-02-20 Morgan Detersportfolio merge 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-09-29 Morgan DetersSome base infrastructure for user push/pop; a few bugfi... blob | commitdiff | raw | diff to current
2011-09-24 Morgan DetersFix to building and linking for unit tests. (This... blob | commitdiff | raw | diff to current
2011-09-02 Morgan DetersMerge from my post-smtcomp branch. Includes: blob | commitdiff | raw | diff to current
2011-04-25 Morgan DetersWeekend work. The main points: 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-27 Morgan Detersmake dist-building more pleasant (put .tar.gz in builds... blob | commitdiff | raw | diff to current
2010-09-30 Morgan Detersfixed a number of problems with mac os x builds. build... blob | commitdiff | raw | diff to current
2010-09-13 Morgan Deterslink TAGS file into builds/ directory, when built.... blob | commitdiff | raw | diff to current
2010-09-02 Morgan Deters* add TimerStat statistic type blob | commitdiff | raw | diff to current
2010-09-01 Morgan Deters"make check" now places binaries in the proper place... blob | commitdiff | raw | diff to current
2010-04-08 Morgan DetersA handful of build system fixes: blob | commitdiff | raw | diff to current
2010-03-08 Morgan DetersThis fixes regressions at levels >= 1 which were failing blob | commitdiff | raw | diff to current
2010-02-22 Morgan Detersfix bug 33 (statically link the "cvc4" binary); also... blob | commitdiff | raw | diff to current
2010-02-03 Morgan DetersAddressed many of the concerns of bug 10 (build system... blob | commitdiff | raw | diff to current
2010-01-26 Morgan Detersfixes to build structure, util classes, lots of fixes... 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-08 Morgan Deterswork on propositional layer, expression builder support... blob | commitdiff | raw | diff to current
2009-12-05 Morgan Detersmore build system work blob | commitdiff | raw | diff to current