2014-09-27 |
Morgan Deters | Merge branch '1.4.x' |
blob | commitdiff | raw |
2014-09-26 |
Morgan Deters | Merge branch '1.4.x' |
blob | commitdiff | raw |
2014-09-17 |
Kshitij Bansal | Merge branch '1.4.x' while ignoring commit 8d5eb49. |
blob | commitdiff | raw |
2014-09-17 |
Kshitij Bansal | Merge branch '1.4.x' |
blob | commitdiff | raw |
2014-08-25 |
Morgan Deters | Fix build rule. |
blob | commitdiff | raw |
2014-08-23 |
Morgan Deters | Quieter finish to build. |
blob | commitdiff | raw | diff to current |
2014-08-22 |
Morgan Deters | Merge branch '1.4.x' |
blob | commitdiff | raw | diff to current |
2014-08-22 |
Morgan Deters | Merge branch '1.4.x' |
blob | commitdiff | raw | diff to current |
2014-08-19 |
Morgan Deters | Merge branch '1.4.x' |
blob | commitdiff | raw | diff to current |
2014-08-18 |
Morgan Deters | Merge branch '1.4.x' |
blob | commitdiff | raw | diff to current |
2014-08-09 |
Morgan Deters | Fix a build issue for some configurations, thanks Tianyi. |
blob | commitdiff | raw | diff to current |
2014-08-07 |
Morgan Deters | Another build fix. |
blob | commitdiff | raw | diff to current |
2014-08-07 |
Morgan Deters | Fix win32 build. |
blob | commitdiff | raw | diff to current |
2014-08-06 |
Morgan Deters | Fix double-linking issue (I think) by simplifying build... |
blob | commitdiff | raw | diff to current |
2014-04-01 |
Tim King | Merge branch '1.3.x' |
blob | commitdiff | raw | diff to current |
2014-03-26 |
Morgan Deters | Merge branch '1.3.x' |
blob | commitdiff | raw | diff to current |
2014-03-11 |
Morgan Deters | Merge branch '1.3.x' |
blob | commitdiff | raw | diff to current |
2014-03-11 |
Morgan Deters | Merge branch '1.3.x' |
blob | commitdiff | raw | diff to current |
2014-02-21 |
Morgan Deters | Merge branch '1.3.x' |
blob | commitdiff | raw | diff to current |
2014-02-21 |
Morgan Deters | Merge branch '1.3.x' |
blob | commitdiff | raw | diff to current |
2014-02-19 |
Tim King | Merge branch '1.3.x' |
blob | commitdiff | raw | diff to current |
2014-01-27 |
Morgan Deters | Merge branch '1.3.x' |
blob | commitdiff | raw | diff to current |
2014-01-18 |
Morgan Deters | Merge branch '1.3.x' |
blob | commitdiff | raw | diff to current |
2014-01-17 |
Kshitij Bansal | Merge branch '1.3.x' |
blob | commitdiff | raw | diff to current |
2014-01-09 |
Morgan Deters | Merge branch '1.3.x' |
blob | commitdiff | raw | diff to current |
2014-01-08 |
Morgan Deters | Merge branch '1.3.x' |
blob | commitdiff | raw | diff to current |
2014-01-02 |
Morgan Deters | Merge branch '1.3.x' |
blob | commitdiff | raw | diff to current |
2013-12-27 |
Morgan Deters | Merge branch '1.3.x' |
blob | commitdiff | raw | diff to current |
2013-12-24 |
Morgan Deters | Merge branch '1.3.x' |
blob | commitdiff | raw | diff to current |
2013-12-24 |
Morgan Deters | Merge branch '1.3.x' |
blob | commitdiff | raw | diff to current |
2013-12-22 |
Morgan Deters | Merge branch '1.3.x' |
blob | commitdiff | raw | diff to current |
2013-12-18 |
Morgan Deters | Merge branch '1.3.x' |
blob | commitdiff | raw | diff to current |
2013-12-18 |
Morgan Deters | Merge branch '1.3.x' |
blob | commitdiff | raw | diff to current |
2013-12-18 |
Morgan Deters | Merge branch '1.3.x' |
blob | commitdiff | raw | diff to current |
2013-12-17 |
Morgan Deters | Merge branch '1.3.x' |
blob | commitdiff | raw | diff to current |
2013-12-17 |
Tianyi Liang | Merge branch 'master' of https://github.com/CVC4/CVC4 |
blob | commitdiff | raw | diff to current |
2013-12-17 |
Morgan Deters | Merge branch '1.3.x' |
blob | commitdiff | raw | diff to current |
2013-12-17 |
Morgan Deters | First attempt at incorporating LFSC proof checker into... |
blob | commitdiff | raw | diff to current |
2013-03-15 |
Morgan Deters | Merge branch '1.0.x' |
blob | commitdiff | raw | diff to current |
2013-03-14 |
Morgan Deters | Merge branch '1.0.x' |
blob | commitdiff | raw | diff to current |
2013-03-13 |
lianah | post failed attempts at getting the incremental solver... |
blob | commitdiff | raw | diff to current |
2013-03-05 |
Morgan Deters | Merge branch '1.0.x' |
blob | commitdiff | raw | diff to current |
2013-03-01 |
Morgan Deters | Merge branch '1.0.x' |
blob | commitdiff | raw | diff to current |
2013-02-26 |
lianah | Merge branch '1.0.x' |
blob | commitdiff | raw | diff to current |
2013-02-26 |
lianah | Merge branch '1.0.x' of https://github.com/CVC4/CVC4... |
blob | commitdiff | raw | diff to current |
2013-02-17 |
Kshitij Bansal | Merge branch '1.0.x' |
blob | commitdiff | raw | diff to current |
2013-02-16 |
Morgan Deters | Merge branch '1.0.x' |
blob | commitdiff | raw | diff to current |
2013-02-15 |
Kshitij Bansal | Merge branch '1.0.x' |
blob | commitdiff | raw | diff to current |
2013-02-15 |
Kshitij Bansal | Merge branch '1.0.x' |
blob | commitdiff | raw | diff to current |
2013-02-15 |
Morgan Deters | Merge branch '1.0.x' |
blob | commitdiff | raw | diff to current |
2013-02-15 |
Morgan Deters | Fix builds/ links to survive configuring twice with... |
blob | commitdiff | raw | diff to current |
2013-02-15 |
Tim King | Merge branch '1.0.x' |
blob | commitdiff | raw | diff to current |
2013-02-08 |
Morgan Deters | Merge branch '1.0.x' |
blob | commitdiff | raw | diff to current |
2013-02-05 |
Morgan Deters | Merge branch '1.0.x' |
blob | commitdiff | raw | diff to current |
2013-02-05 |
Kshitij Bansal | Merge remote-tracking branch 'origin/1.0.x' |
blob | commitdiff | raw | diff to current |
2013-02-05 |
Morgan Deters | Merge branch '1.0.x' |
blob | commitdiff | raw | diff to current |
2013-02-04 |
Morgan Deters | Merge branch '1.0.x' |
blob | commitdiff | raw | diff to current |
2013-02-04 |
Morgan Deters | Merge branch '1.0.x' |
blob | commitdiff | raw | diff to current |
2013-02-02 |
lianah | merged master into branch |
blob | commitdiff | raw | diff to current |
2013-02-01 |
Morgan Deters | Merge branch '1.0.x' |
blob | commitdiff | raw | diff to current |
2013-01-31 |
Morgan Deters | Merge branch '1.0.x' |
blob | commitdiff | raw | diff to current |
2013-01-28 |
Morgan Deters | Merge branch '1.0.x' |
blob | commitdiff | raw | diff to current |
2013-01-27 |
Morgan Deters | Merge branch '1.0.x' |
blob | commitdiff | raw | diff to current |
2013-01-24 |
Morgan Deters | Add win32 support (merge from mdeters/win32, with some... |
blob | commitdiff | raw | diff to current |
2012-11-26 |
Morgan Deters | Makefile fix for new versions of Make (thanks Clark... |
blob | commitdiff | raw | diff to current |
2012-11-15 |
Morgan Deters | fix for "make examples" |
blob | commitdiff | raw | diff to current |
2012-10-25 |
ACSYS | more minor fixes to build system |
blob | commitdiff | raw | diff to current |
2012-10-24 |
Morgan Deters | Includes many fixes to build system for Solaris (thanks... |
blob | commitdiff | raw | diff to current |
2012-10-03 |
Morgan Deters | better documentation, allow examples to be installed... |
blob | commitdiff | raw | diff to current |
2012-07-08 |
Morgan Deters | Bugs resolved by this commit: #314, #322, #359, #364... |
blob | commitdiff | raw | diff to current |
2012-06-06 |
Morgan Deters | Fixing numerous issues with tests and "make dist": |
blob | commitdiff | raw | diff to current |
2012-02-20 |
Morgan Deters | portfolio merge |
blob | commitdiff | raw | diff to current |
2011-09-30 |
Morgan Deters | interfaces fixes and cleanups...and examples of each... |
blob | commitdiff | raw | diff to current |
2011-09-29 |
Morgan Deters | Some base infrastructure for user push/pop; a few bugfi... |
blob | commitdiff | raw | diff to current |
2011-09-24 |
Morgan Deters | Fix to building and linking for unit tests. (This... |
blob | commitdiff | raw | diff to current |
2011-09-02 |
Morgan Deters | Merge from my post-smtcomp branch. Includes: |
blob | commitdiff | raw | diff to current |
2011-04-25 |
Morgan Deters | Weekend work. The main points: |
blob | commitdiff | raw | diff to current |
2010-10-31 |
Morgan Deters | enable dependence graphs in doxygen; fix lots of doxyge... |
blob | commitdiff | raw | diff to current |
2010-10-27 |
Morgan Deters | make dist-building more pleasant (put .tar.gz in builds... |
blob | commitdiff | raw | diff to current |
2010-09-30 |
Morgan Deters | fixed a number of problems with mac os x builds. build... |
blob | commitdiff | raw | diff to current |
2010-09-13 |
Morgan Deters | link 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 Deters | A handful of build system fixes: |
blob | commitdiff | raw | diff to current |
2010-03-08 |
Morgan Deters | This fixes regressions at levels >= 1 which were failing |
blob | commitdiff | raw | diff to current |
2010-02-22 |
Morgan Deters | fix bug 33 (statically link the "cvc4" binary); also... |
blob | commitdiff | raw | diff to current |
2010-02-03 |
Morgan Deters | Addressed many of the concerns of bug 10 (build system... |
blob | commitdiff | raw | diff to current |
2010-01-26 |
Morgan Deters | fixes to build structure, util classes, lots of fixes... |
blob | commitdiff | raw | diff to current |
2009-12-17 |
Morgan Deters | coding standard fix on SmtEngine; fix recursive make |
blob | commitdiff | raw | diff to current |
2009-12-08 |
Morgan Deters | work on propositional layer, expression builder support... |
blob | commitdiff | raw | diff to current |
2009-12-05 |
Morgan Deters | more build system work |
blob | commitdiff | raw | diff to current |
|