projects / cvc5.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
squash-merge from proof branch
[cvc5.git] / Makefile.builds.in
2014-11-10 Morgan DetersMerge branch '1.4.x' blob | commitdiff | raw
2014-11-07 Morgan DetersMerge branch '1.4.x' blob | commitdiff | raw
2014-11-07 Morgan DetersMerge branch '1.4.x' blob | commitdiff | raw
2014-11-07 Morgan DetersMerge branch '1.4.x' blob | commitdiff | raw
2014-11-05 Morgan DetersMerge branch '1.4.x' blob | commitdiff | raw
2014-10-17 Morgan DetersMerge branch '1.4.x' blob | commitdiff | raw
2014-10-16 Morgan DetersMerge branch '1.4.x' blob | commitdiff | raw
2014-10-11 Morgan DetersMerge branch '1.4.x' blob | commitdiff | raw
2014-10-10 Kshitij BansalMerge remote-tracking branch 'origin/1.4.x' blob | commitdiff | raw
2014-10-09 Morgan DetersMerge branch '1.4.x' blob | commitdiff | raw
2014-10-07 Morgan DetersMerge branch '1.4.x' blob | commitdiff | raw
2014-10-06 Morgan DetersMerge branch '1.4.x' blob | commitdiff | raw
2014-10-06 Morgan DetersMerge branch '1.4.x' blob | commitdiff | raw
2014-10-03 Morgan DetersMerge branch '1.4.x' blob | commitdiff | raw
2014-10-03 Morgan DetersMerge branch '1.4.x' blob | commitdiff | raw
2014-10-02 Morgan DetersMerge branch '1.4.x'. blob | commitdiff | raw
2014-09-30 Morgan DetersMerge branch '1.4.x' blob | commitdiff | raw
2014-09-27 Morgan DetersMerge branch '1.4.x' blob | commitdiff | raw
2014-09-26 Morgan DetersMerge branch '1.4.x' blob | commitdiff | raw
2014-09-17 Kshitij BansalMerge branch '1.4.x' while ignoring commit 8d5eb49. blob | commitdiff | raw
2014-09-17 Kshitij BansalMerge branch '1.4.x' blob | commitdiff | raw
2014-08-25 Morgan DetersFix build rule. blob | commitdiff | raw
2014-08-23 Morgan DetersQuieter finish to build. blob | commitdiff | raw | diff to current
2014-08-22 Morgan DetersMerge branch '1.4.x' blob | commitdiff | raw | diff to current
2014-08-22 Morgan DetersMerge branch '1.4.x' blob | commitdiff | raw | diff to current
2014-08-19 Morgan DetersMerge branch '1.4.x' blob | commitdiff | raw | diff to current
2014-08-18 Morgan DetersMerge branch '1.4.x' blob | commitdiff | raw | diff to current
2014-08-09 Morgan DetersFix a build issue for some configurations, thanks Tianyi. blob | commitdiff | raw | diff to current
2014-08-07 Morgan DetersAnother build fix. blob | commitdiff | raw | diff to current
2014-08-07 Morgan DetersFix win32 build. blob | commitdiff | raw | diff to current
2014-08-06 Morgan DetersFix double-linking issue (I think) by simplifying build... blob | commitdiff | raw | diff to current
2014-04-01 Tim KingMerge branch '1.3.x' blob | commitdiff | raw | diff to current
2014-03-26 Morgan DetersMerge branch '1.3.x' blob | commitdiff | raw | diff to current
2014-03-11 Morgan DetersMerge branch '1.3.x' blob | commitdiff | raw | diff to current
2014-03-11 Morgan DetersMerge branch '1.3.x' blob | commitdiff | raw | diff to current
2014-02-21 Morgan DetersMerge branch '1.3.x' blob | commitdiff | raw | diff to current
2014-02-21 Morgan DetersMerge branch '1.3.x' blob | commitdiff | raw | diff to current
2014-02-19 Tim KingMerge branch '1.3.x' blob | commitdiff | raw | diff to current
2014-01-27 Morgan DetersMerge branch '1.3.x' blob | commitdiff | raw | diff to current
2014-01-18 Morgan DetersMerge branch '1.3.x' blob | commitdiff | raw | diff to current
2014-01-17 Kshitij BansalMerge branch '1.3.x' blob | commitdiff | raw | diff to current
2014-01-09 Morgan DetersMerge branch '1.3.x' blob | commitdiff | raw | diff to current
2014-01-08 Morgan DetersMerge branch '1.3.x' blob | commitdiff | raw | diff to current
2014-01-02 Morgan DetersMerge branch '1.3.x' blob | commitdiff | raw | diff to current
2013-12-27 Morgan DetersMerge branch '1.3.x' blob | commitdiff | raw | diff to current
2013-12-24 Morgan DetersMerge branch '1.3.x' blob | commitdiff | raw | diff to current
2013-12-24 Morgan DetersMerge branch '1.3.x' blob | commitdiff | raw | diff to current
2013-12-22 Morgan DetersMerge branch '1.3.x' blob | commitdiff | raw | diff to current
2013-12-18 Morgan DetersMerge branch '1.3.x' blob | commitdiff | raw | diff to current
2013-12-18 Morgan DetersMerge branch '1.3.x' blob | commitdiff | raw | diff to current
2013-12-18 Morgan DetersMerge branch '1.3.x' blob | commitdiff | raw | diff to current
2013-12-17 Morgan DetersMerge branch '1.3.x' blob | commitdiff | raw | diff to current
2013-12-17 Tianyi LiangMerge branch 'master' of https://github.com/CVC4/CVC4 blob | commitdiff | raw | diff to current
2013-12-17 Morgan DetersMerge branch '1.3.x' blob | commitdiff | raw | diff to current
2013-12-17 Morgan DetersFirst attempt at incorporating LFSC proof checker into... blob | commitdiff | raw | diff to current
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
next