Age | Commit message (Expand) | Author |
2018-10-01 | cmake: Add build target build-tests to build all test dependencies. (#2558) | Mathias Preiner |
2018-09-26 | cmake: Fix test target dependency issues. (#2540) | Mathias Preiner |
2018-09-22 | cmake: Fix systemtests dependency. | Mathias Preiner |
2018-09-22 | cmake: Run make coverage in parallel by default. | Mathias Preiner |
2018-09-22 | cmake: Do not build examples and unit and system tests by default. | Aina Niemetz |
2018-09-22 | cmake: Added target check | Aina Niemetz |
2018-09-22 | cmake: Only build libcvc4 and libcvc4parser as libraries. | Mathias Preiner |
2018-09-22 | cmake: Rebase with current master, add new tests/source files. | Mathias Preiner |
2018-09-22 | cmake: Add dependencies for test targets and support for make coverage. | Aina Niemetz |
2018-09-22 | cmake: Enable parallel execution for test targets regress, units, systemtests. | Aina Niemetz |
2018-09-22 | cmake: Added system tests and target make systemtests. | Aina Niemetz |
2018-09-22 | cmake: Added initial build infrastructure. | Aina Niemetz |
2018-09-04 | Remove CVC3 compatibility layer (#2418) | Andres Noetzli |
2018-08-20 | Remove disabled system test cvc3_george. (#2342) | Aina Niemetz |
2018-08-08 | Plug solver API object into parser. (#2240) | Aina Niemetz |
2018-07-31 | Improvements and tests for the API around separation logic (#2229) | ayveejay |
2018-06-25 | Updated copyright headers. | Aina Niemetz |
2017-12-06 | Remove CDChunkList (#1414) | Andres Noetzli |
2017-07-12 | Fix unit tests for subranges. Fix destructors for context objs in unit tests. | ajreynol |
2017-07-07 | Update copyright headers. | Mathias Preiner |
2016-11-17 | Fix Makefiles in test | Andres Notzli |
2016-04-20 | update from the master | PaulMeng |
2016-02-02 | Moving dump.*, command.*, model.*, and ite_removal.* from smt_util/ to smt/. ... | Tim King |
2016-01-28 | Adding listeners to Options. | Tim King |
2016-01-08 | Removing StatisticsRegistry's static functions current() and registerStat(). | Tim King |
2016-01-05 | Moving sexpr.{cpp,h,i} from expr/ back into util/. | Tim King |
2015-12-30 | Shuffling around public vs. private headers | Tim King |
2015-12-18 | Modifying emptyset.h and sexpr. Adding SetLanguage. | Tim King |
2015-12-14 | Refactoring Options Handler & Library Cycle Breaking | Tim King |
2015-11-23 | Adding a missing delete to smt2_compliance. | Tim King |
2014-07-01 | Update copyrights. | Morgan Deters |
2014-05-30 | Update submission make rules. | Morgan Deters |
2014-02-21 | Fix makefile dependence for system tests. | Morgan Deters |
2014-02-21 | disable test cvc3_main, attempt to fix dist_check | Kshitij Bansal |
2013-11-14 | Some patches to CVC3 compatibility layer tests; Thanks to Adam Buchbinder @ G... | Morgan Deters |
2013-07-30 | Minor fixes to build system. | Morgan Deters |
2013-07-29 | Fix numerous compiler warnings on various platforms | Morgan Deters |
2013-04-29 | Some fixes for GCC 4.2, and for Java on Mac | Morgan Deters |
2013-04-02 | Regenerated copyrights: canonicalized names, no emails | Morgan Deters |
2013-04-01 | update copyrights | Morgan Deters |
2013-03-14 | Merge branch '1.0.x' | Morgan Deters |
2013-03-14 | fix to build system: #include the proper file when they are in both builds an... | Morgan Deters |
2012-12-06 | * tuple and record support in compatibility library | Morgan Deters |
2012-12-01 | fix java system test dependences | Morgan Deters |
2012-11-15 | Fix for bug 447. | Tim King |
2012-10-11 | Standardizing copyright notice. Touches **ALL** sources, guys, sorry.. it's | Morgan Deters |
2012-10-08 | * Models' SubstitutionMaps are now attached to the user context | Morgan Deters |
2012-10-05 | Bug-related: | Morgan Deters |
2012-09-28 | Public interface review items: | Morgan Deters |
2012-09-28 | * fix compatibility library naming for SMT-LIBv1 | Morgan Deters |