2018-03-21 |
Mathias Preiner | Refactor mkoptions (#1631) |
blob | commitdiff | raw |
2017-08-25 |
Aina Niemetz | Move LFSC checker out of the CVC repository. (#222) |
blob | commitdiff | raw | diff to current |
2017-03-28 |
ajreynol | More work on sygus. Add regress4 to Makefile. |
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-26 |
Tianyi Liang | Merge branch 'master' of https://github.com/CVC4/CVC4 |
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-23 |
Morgan Deters | Proof-checking code; fixups of segfaults and missing... |
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-09-30 |
Liana Hadarean | merged golden |
blob | commitdiff | raw | diff to current |
2013-09-18 |
Morgan Deters | Support a personal build configuration and make rules. |
blob | commitdiff | raw | diff to current |
2012-12-06 |
Morgan Deters | distribute the find_public_interface.sh script |
blob | commitdiff | raw | diff to current |
2012-12-03 |
Morgan Deters | distribute the find_public_interface.sh script |
blob | commitdiff | raw | diff to current |
2012-11-09 |
Morgan Deters | another DISTCLEANFILES entry, for proper "make distclea... |
blob | commitdiff | raw | diff to current |
2012-11-08 |
Morgan Deters | fix "make distcheck" |
blob | commitdiff | raw | diff to current |
2012-11-07 |
Morgan Deters | * Type ascription bug fixed (resolves bug 432), but... |
blob | commitdiff | raw | diff to current |
2012-11-05 |
Morgan Deters | fix for tarball building (fixes debian and distcheck... |
blob | commitdiff | raw | diff to current |
2012-10-23 |
Morgan Deters | some fixes for "make examples" and "make install-exampl... |
blob | commitdiff | raw | diff to current |
2012-09-29 |
Morgan Deters | draft RELEASE-NOTES file, and minor release stuff |
blob | commitdiff | raw | diff to current |
2012-09-29 |
Morgan Deters | fixes to "make distclean" and C compatibility bindings... |
blob | commitdiff | raw | diff to current |
2012-09-28 |
Morgan Deters | Public interface review items: |
blob | commitdiff | raw | diff to current |
2012-09-14 |
Morgan Deters | Fix a few minor issues in options processing, improving... |
blob | commitdiff | raw | diff to current |
2012-08-01 |
Morgan Deters | fixes to some *clean targets |
blob | commitdiff | raw | diff to current |
2012-07-31 |
Morgan Deters | Options merge. This commit: |
blob | commitdiff | raw | diff to current |
2012-07-16 |
Morgan Deters | now passes "make distcheck", which does important check... |
blob | commitdiff | raw | diff to current |
2012-07-09 |
Morgan Deters | minor fix-ups |
blob | commitdiff | raw | diff to current |
2011-10-31 |
Morgan Deters | fixes to "make distclean" and "make maintainerclean" |
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-18 |
Morgan Deters | cleaned up the mechanism for library versioning |
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-03-25 |
Morgan Deters | This is a merge from the "theoryfixes+cdattrhash" branc... |
blob | commitdiff | raw | diff to current |
2010-11-15 |
Morgan Deters | fix some things with the build system (make dist, make... |
blob | commitdiff | raw | diff to current |
2010-10-27 |
Morgan Deters | "make dist" fixes; a distribution tarball can now build... |
blob | commitdiff | raw | diff to current |
2010-09-02 |
Morgan Deters | * add TimerStat statistic type |
blob | commitdiff | raw | diff to current |
2010-07-04 |
Morgan Deters | make dist && make distcheck functional, other fixes |
blob | commitdiff | raw | diff to current |
2010-06-15 |
Morgan Deters | fix last commit gcc options (-wunknown-pragmas ==>... |
blob | commitdiff | raw | diff to current |
2010-06-15 |
Morgan Deters | remove warnings about unknown #pragma GCC diagnostic... |
blob | commitdiff | raw | diff to current |
2010-04-14 |
Morgan Deters | * Better dependency tracking for unit test building... |
blob | commitdiff | raw | diff to current |
2010-04-09 |
Morgan Deters | minor fixes to lcov build target, better contextobj... |
blob | commitdiff | raw | diff to current |
2010-04-09 |
Morgan Deters | added experimental "make lcov" target (it runs only... |
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-18 |
Christopher L. Conway | Rm'ing doc from SUBDIRS |
blob | commitdiff | raw | diff to current |
2010-02-18 |
Christopher L. Conway | Adding doxygen configuration parameters and doxygen... |
blob | commitdiff | raw | diff to current |
2010-02-05 |
Morgan Deters | remove the last vestiges of support for "make build... |
blob | commitdiff | raw | diff to current |
2010-02-04 |
Morgan Deters | build system for multi-level regressions |
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-17 |
Morgan Deters | support nonstandard, unconfigured builds (e.g., ".... |
blob | commitdiff | raw | diff to current |
2009-12-05 |
Morgan Deters | more build system work |
blob | commitdiff | raw | diff to current |
2009-11-25 |
Morgan Deters | additional work on parser hookup, configuration + build |
blob | commitdiff | raw | diff to current |
2009-11-20 |
Morgan Deters | fixes to build/test system |
blob | commitdiff | raw | diff to current |
2009-11-19 |
Morgan Deters | testing framework, configure fixes, incorporations... |
blob | commitdiff | raw | diff to current |
2009-11-17 |
Morgan Deters | fixes/redesign of source layout from meeting |
blob | commitdiff | raw | diff to current |
2009-11-12 |
Morgan Deters | parser, minisat, other things.. |
blob | commitdiff | raw | diff to current |
2009-11-09 |
Morgan Deters | minor fixes, added contrib directory |
blob | commitdiff | raw | diff to current |
2009-11-03 |
Morgan Deters | commit of project structure including autotools support |
blob | commitdiff | raw | diff to current |
|