2020-04-01 |
Aina Niemetz | Rename checkValid/query to checkEntailed. (#4191) |
tree | commitdiff |
2020-02-24 |
Andrew Reynolds | Convert parser input interface to api::Term (#3809) |
tree | commitdiff |
2019-08-08 |
Mathias Preiner | Fix issues with Ninja build system and add configure... |
tree | commitdiff |
2019-04-03 |
Aina Niemetz | Update copyright headers. |
tree | commitdiff |
2019-03-26 |
Aina Niemetz | Update copyright headers. |
tree | commitdiff |
2018-10-19 |
Mathias Preiner | Remove autotools build system. (#2639) |
tree | commitdiff |
2018-10-01 |
Mathias Preiner | cmake: Add build target build-tests to build all test... |
tree | commitdiff |
2018-09-26 |
Mathias Preiner | cmake: Fix test target dependency issues. (#2540) |
tree | commitdiff |
2018-09-22 |
Mathias Preiner | cmake: Fix systemtests dependency. |
tree | commitdiff |
2018-09-22 |
Mathias Preiner | cmake: Run make coverage in parallel by default. |
tree | commitdiff |
2018-09-22 |
Aina Niemetz | cmake: Do not build examples and unit and system tests... |
tree | commitdiff |
2018-09-22 |
Aina Niemetz | cmake: Added target check |
tree | commitdiff |
2018-09-22 |
Mathias Preiner | cmake: Only build libcvc4 and libcvc4parser as libraries. |
tree | commitdiff |
2018-09-22 |
Mathias Preiner | cmake: Rebase with current master, add new tests/source... |
tree | commitdiff |
2018-09-22 |
Aina Niemetz | cmake: Add dependencies for test targets and support... |
tree | commitdiff |
2018-09-22 |
Aina Niemetz | cmake: Enable parallel execution for test targets regre... |
tree | commitdiff |
2018-09-22 |
Aina Niemetz | cmake: Added system tests and target make systemtests. |
tree | commitdiff |
2018-09-22 |
Aina Niemetz | cmake: Added initial build infrastructure. |
tree | commitdiff |
2018-09-04 |
Andres Noetzli | Remove CVC3 compatibility layer (#2418) |
tree | commitdiff |
2018-08-21 |
Aina Niemetz | Remove disabled system test cvc3_george. (#2342) |
tree | commitdiff |
2018-08-09 |
Aina Niemetz | Plug solver API object into parser. (#2240) |
tree | commitdiff |
2018-08-01 |
ayveejay | Improvements and tests for the API around separation... |
tree | commitdiff |
2018-06-25 |
Aina Niemetz | Updated copyright headers. |
tree | commitdiff |
2017-12-06 |
Andres Noetzli | Remove CDChunkList (#1414) |
tree | commitdiff |
2017-07-13 |
Aina Niemetz | Merge pull request #188 from aniemetz/cx11 |
tree | commitdiff |
2017-07-12 |
ajreynol | Fix unit tests for subranges. Fix destructors for conte... |
tree | commitdiff |
2017-07-07 |
Mathias Preiner | Update copyright headers. |
tree | commitdiff |
2016-11-18 |
Clark Barrett | Merge pull request #110 from 4tXJ7f/fix_makefiles |
tree | commitdiff |
2016-11-18 |
Andres Notzli | Fix Makefiles in test |
tree | commitdiff |
2016-04-20 |
PaulMeng | update from the master |
tree | commitdiff |
2016-04-09 |
Guy | Merge branch 'master' of https://github.com/CVC4/CVC4 |
tree | commitdiff |
2016-04-04 |
Tim King | Updating the copyright headers and scripts. |
tree | commitdiff |
2016-02-02 |
Tim King | Moving dump.*, command.*, model.*, and ite_removal... |
tree | commitdiff |
2016-01-28 |
Tim King | Adding listeners to Options. |
tree | commitdiff |
2016-01-09 |
Tim King | Removing StatisticsRegistry's static functions current... |
tree | commitdiff |
2016-01-06 |
Tim King | Moving sexpr.{cpp,h,i} from expr/ back into util/. |
tree | commitdiff |
2015-12-30 |
Tim King | Shuffling around public vs. private headers |
tree | commitdiff |
2015-12-19 |
Tim King | Modifying emptyset.h and sexpr. Adding SetLanguage. |
tree | commitdiff |
2015-12-15 |
Tim King | Refactoring Options Handler & Library Cycle Breaking |
tree | commitdiff |
2015-11-24 |
Tim King | Adding a missing delete to smt2_compliance. |
tree | commitdiff |
2014-07-10 |
Kshitij Bansal | Merge remote-tracking branch 'origin/master' into segfa... |
tree | commitdiff |
2014-07-01 |
Morgan Deters | Update copyrights. |
tree | commitdiff |
2014-05-30 |
Morgan Deters | Update submission make rules. |
tree | commitdiff |
2014-04-01 |
Tim King | Merge branch '1.3.x' |
tree | commitdiff |
2014-03-26 |
Morgan Deters | Merge branch '1.3.x' |
tree | commitdiff |
2014-03-11 |
Morgan Deters | Merge branch '1.3.x' |
tree | commitdiff |
2014-03-11 |
Morgan Deters | Merge branch '1.3.x' |
tree | commitdiff |
2014-02-21 |
Morgan Deters | Merge branch '1.3.x' |
tree | commitdiff |
2014-02-21 |
Tianyi Liang | Merge branch 'master' of github.com:tiliang/CVC4 |
tree | commitdiff |
2014-02-21 |
Morgan Deters | Merge branch '1.3.x' |
tree | commitdiff |
2014-02-21 |
Morgan Deters | Fix makefile dependence for system tests. |
tree | commitdiff |
2014-02-21 |
Kshitij Bansal | disable test cvc3_main, attempt to fix dist_check |
tree | commitdiff |
2013-11-21 |
Tianyi Liang | Merge branch 'master' of github.com:tiliang/CVC4 |
tree | commitdiff |
2013-11-14 |
Morgan Deters | Some patches to CVC3 compatibility layer tests; Thanks... |
tree | commitdiff |
2013-09-30 |
Liana Hadarean | merged golden |
tree | commitdiff |
2013-08-26 |
Kshitij Bansal | Merge branch '1.2.x' |
tree | commitdiff |
2013-07-30 |
Morgan Deters | Minor fixes to build system. |
tree | commitdiff |
2013-07-29 |
Morgan Deters | Fix numerous compiler warnings on various platforms |
tree | commitdiff |
2013-05-03 |
Tim King | Merging branch 'soiquickexplain'. |
tree | commitdiff |
2013-05-03 |
Tim King | Merge branch 'fcexplanations' |
tree | commitdiff |
2013-04-30 |
lianah | fixed merge conflicts |
tree | commitdiff |
2013-04-29 |
Morgan Deters | Some fixes for GCC 4.2, and for Java on Mac |
tree | commitdiff |
2013-04-02 |
Morgan Deters | Regenerated copyrights: canonicalized names, no emails |
tree | commitdiff |
2013-04-02 |
Morgan Deters | update copyrights |
tree | commitdiff |
2013-03-20 |
Liana Hadarean | merged master with dejan's constant evaluating equality... |
tree | commitdiff |
2013-03-15 |
Morgan Deters | Merge branch '1.0.x' |
tree | commitdiff |
2013-03-14 |
Morgan Deters | Merge branch '1.0.x' |
tree | commitdiff |
2013-03-14 |
Morgan Deters | fix to build system: #include the proper file when... |
tree | commitdiff |
2013-03-05 |
Morgan Deters | Merge branch '1.0.x' |
tree | commitdiff |
2013-03-01 |
Morgan Deters | Merge branch '1.0.x' |
tree | commitdiff |
2013-02-26 |
lianah | Merge branch '1.0.x' |
tree | commitdiff |
2013-02-17 |
Kshitij Bansal | Merge branch '1.0.x' |
tree | commitdiff |
2013-02-16 |
Morgan Deters | Merge branch '1.0.x' |
tree | commitdiff |
2013-02-15 |
Kshitij Bansal | Merge branch '1.0.x' |
tree | commitdiff |
2013-02-15 |
Kshitij Bansal | Merge branch '1.0.x' |
tree | commitdiff |
2013-02-15 |
Morgan Deters | Merge branch '1.0.x' |
tree | commitdiff |
2013-02-15 |
Tim King | Merge branch '1.0.x' |
tree | commitdiff |
2013-02-08 |
Morgan Deters | Merge branch '1.0.x' |
tree | commitdiff |
2013-02-05 |
Morgan Deters | Merge branch '1.0.x' |
tree | commitdiff |
2013-02-05 |
Kshitij Bansal | Merge remote-tracking branch 'origin/1.0.x' |
tree | commitdiff |
2013-02-05 |
Morgan Deters | Merge branch '1.0.x' |
tree | commitdiff |
2013-02-04 |
Morgan Deters | Merge branch '1.0.x' |
tree | commitdiff |
2013-02-04 |
Morgan Deters | Merge branch '1.0.x' |
tree | commitdiff |
2013-02-01 |
Morgan Deters | Merge branch '1.0.x' |
tree | commitdiff |
2013-01-31 |
Morgan Deters | Merge branch '1.0.x' |
tree | commitdiff |
2013-01-28 |
Morgan Deters | Merge branch '1.0.x' |
tree | commitdiff |
2013-01-27 |
Morgan Deters | Merge branch '1.0.x' |
tree | commitdiff |
2013-01-23 |
Morgan Deters | Merge branch '1.0.x' |
tree | commitdiff |
2013-01-22 |
Morgan Deters | Merge branch '1.0.x' |
tree | commitdiff |
2013-01-22 |
Morgan Deters | Merge branch '1.0.x' |
tree | commitdiff |
2013-01-19 |
Morgan Deters | Merge branch '1.0.x' |
tree | commitdiff |
2012-12-22 |
Dejan Jovanović | Merge branch '1.0.x' |
tree | commitdiff |
2012-12-18 |
Morgan Deters | Merge branch '1.0.x' |
tree | commitdiff |
2012-12-15 |
Tim King | Merging in patch from branch '1.0.x'. |
tree | commitdiff |
2012-12-12 |
Dejan Jovanović | Merge pull request #2 from CVC4/1.0.x |
tree | commitdiff |
2012-12-11 |
Morgan Deters | Merge branch '1.0.x', getting fix for bug 480 |
tree | commitdiff |
2012-12-11 |
Morgan Deters | Merge branch '1.0.x' (getting fix for bug 479) |
tree | commitdiff |
2012-12-11 |
Morgan Deters | Merge branch '1.0.x' |
tree | commitdiff |
2012-12-08 |
Morgan Deters | Merge from 1.0.x (bugfix for 476). |
tree | commitdiff |
2012-12-07 |
François Bobot | Merge release branch '1.0.x' |
tree | commitdiff |
next |