| Age | Commit message (Expand) | Author |
|---|
| 2013-12-16 | First attempt at incorporating LFSC proof checker into CVC4. | Morgan Deters |
| 2013-02-15 | Merge branch '1.0.x' | Morgan Deters |
| 2013-02-15 | Fix builds/ links to survive configuring twice with different prefixes | Morgan Deters |
| 2013-01-24 | Add win32 support (merge from mdeters/win32, with some cleanup). | Morgan Deters |
| 2012-11-26 | Makefile fix for new versions of Make (thanks Clark for noticing this); see e... | Morgan Deters |
| 2012-11-15 | fix for "make examples" | Morgan Deters |
| 2012-10-25 | more minor fixes to build system | ACSYS |
| 2012-10-24 | Includes many fixes to build system for Solaris (thanks Tim!), and also | Morgan Deters |
| 2012-10-03 | better documentation, allow examples to be installed, etc | Morgan Deters |
| 2012-07-08 | Bugs resolved by this commit: #314, #322, #359, #364, #365. | Morgan Deters |
| 2012-06-06 | Fixing numerous issues with tests and "make dist": | Morgan Deters |
| 2012-02-20 | portfolio merge | Morgan Deters |
| 2011-09-30 | interfaces fixes and cleanups...and examples of each interface! | Morgan Deters |
| 2011-09-29 | Some base infrastructure for user push/pop; a few bugfixes to user push/pop a... | Morgan Deters |
| 2011-09-24 | Fix to building and linking for unit tests. (This should fix the segfaulting... | Morgan Deters |
| 2011-09-02 | Merge from my post-smtcomp branch. Includes: | Morgan Deters |
| 2011-04-25 | Weekend work. The main points: | Morgan Deters |
| 2010-10-31 | enable dependence graphs in doxygen; fix lots of doxygen warnings, fix some d... | Morgan Deters |
| 2010-10-27 | make dist-building more pleasant (put .tar.gz in builds/ directory) | Morgan Deters |
| 2010-09-30 | fixed a number of problems with mac os x builds. build now works on mac os x... | Morgan Deters |
| 2010-09-13 | link TAGS file into builds/ directory, when built. Resolves bug #195 | Morgan Deters |
| 2010-09-02 | * add TimerStat statistic type | Morgan Deters |
| 2010-09-01 | "make check" now places binaries in the proper place before doing the checks;... | Morgan Deters |
| 2010-04-08 | A handful of build system fixes: | Morgan Deters |
| 2010-03-08 | This fixes regressions at levels >= 1 which were failing | Morgan Deters |
| 2010-02-22 | fix bug 33 (statically link the "cvc4" binary); also main driver cleanup | Morgan Deters |
| 2010-02-03 | Addressed many of the concerns of bug 10 (build system code review). | Morgan Deters |
| 2010-01-26 | fixes to build structure, util classes, lots of fixes to Node and NodeBuilder... | Morgan Deters |
| 2009-12-17 | coding standard fix on SmtEngine; fix recursive make | Morgan Deters |
| 2009-12-08 | work on propositional layer, expression builder support for large expressions... | Morgan Deters |
| 2009-12-05 | more build system work | Morgan Deters |
