Age | Commit message (Expand) | Author |
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 |