2021-09-10 |
Andres Noetzli | Use C++17 attributes (#7154) |
tree | commitdiff |
2021-04-21 |
Mathias Preiner | Goodbye CVC4, hello cvc5! (#6371) |
tree | commitdiff |
2021-04-15 |
Aina Niemetz | Rename occurrences of CVC4 to CVC5. (#6351) |
tree | commitdiff |
2021-04-14 |
Aina Niemetz | Rename public and private headers in src/include. ... |
tree | commitdiff |
2021-04-12 |
Aina Niemetz | Refactor and update copyright headers. (#6316) |
tree | commitdiff |
2021-04-10 |
Aina Niemetz | Rename CVC4_ macros to CVC5_. (#6327) |
tree | commitdiff |
2021-04-07 |
Aina Niemetz | Remove old API header. (#6309) |
tree | commitdiff |
2021-03-16 |
Mathias Preiner | cmake: Generate cvc4_export.h and set visibility to... |
tree | commitdiff |
2021-03-11 |
Aina Niemetz | Delete Expr layer. (#6117) |
tree | commitdiff |
2021-03-09 |
Aina Niemetz | Update copyright headers to 2021. (#6081) |
tree | commitdiff |
2020-11-19 |
Aina Niemetz | Include stddef.h (needed for size_t) in cvc4_public... |
tree | commitdiff |
2020-09-22 |
Mathias Preiner | Update copyright header script to support CMake and... |
tree | commitdiff |
2020-08-26 |
Andrew Reynolds | Replace Expr-level datatype with Node-level DType ... |
tree | commitdiff |
2020-06-16 |
Aina Niemetz | Update copyright headers. |
tree | commitdiff |
2019-04-24 |
Mathias Preiner | Do not use __ prefix for header guards. (#2974) |
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-09-15 |
Andres Noetzli | Refactor how assertions are added to decision engine... |
tree | commitdiff |
2018-09-04 |
Andres Noetzli | Remove CVC3 compatibility layer (#2418) |
tree | commitdiff |
2018-08-08 |
Andres Noetzli | Delete functions instead of using CVC4_UNDEFINED (... |
tree | commitdiff |
2018-06-25 |
Aina Niemetz | Updated copyright headers. |
tree | commitdiff |
2017-07-07 |
Mathias Preiner | Update copyright headers. |
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 |
2015-12-15 |
Tim King | Refactoring Options Handler & Library Cycle Breaking |
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 |
2013-09-30 |
Liana Hadarean | merged golden |
tree | commitdiff |
2013-08-26 |
Kshitij Bansal | Merge branch '1.2.x' |
tree | commitdiff |
2013-06-27 |
Morgan Deters | Remove output.h from public space, to avoid clashes... |
tree | commitdiff |
2013-06-27 |
Morgan Deters | Remove macros EXPECT_TRUE / EXPECT_FALSE from cvc4_publ... |
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-15 |
Morgan Deters | Merge branch '1.0.x' |
tree | commitdiff |
2013-03-14 |
Morgan Deters | Merge branch '1.0.x' |
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-02 |
lianah | merged master into branch |
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-24 |
Morgan Deters | Add win32 support (merge from mdeters/win32, with some... |
tree | commitdiff |
2012-10-11 |
Morgan Deters | Standardizing copyright notice. Touches **ALL** source... |
tree | commitdiff |
2012-09-28 |
Morgan Deters | some fixes to build system |
tree | commitdiff |
2012-09-22 |
Morgan Deters | Separate public-facing and internal-facing interfaces... |
tree | commitdiff |
2012-07-31 |
Morgan Deters | Options merge. This commit: |
tree | commitdiff |
2011-11-22 |
Morgan Deters | More language bindings work: |
tree | commitdiff |
2011-09-30 |
Morgan Deters | interfaces fixes and cleanups...and examples of each... |
tree | commitdiff |
2011-09-02 |
Morgan Deters | Merge from my post-smtcomp branch. Includes: |
tree | commitdiff |
2011-05-05 |
Morgan Deters | Merge from nonclausal-simplification-v2 branch: |
tree | commitdiff |
2011-03-27 |
Morgan Deters | fixes to attribute-internals warnings on 64-bit; also... |
tree | commitdiff |
2011-03-08 |
Morgan Deters | Clean up Theory base class as per code review bug ... |
tree | commitdiff |
2011-02-28 |
Morgan Deters | minor doxygen build target fixes |
tree | commitdiff |
2010-10-29 |
Morgan Deters | minor fixes as a result of review of Chris's getType... |
tree | commitdiff |
2010-10-24 |
Morgan Deters | add a CVC4_UNDEFINED keyword, for intentionally undefin... |
tree | commitdiff |
2010-10-01 |
Morgan Deters | replacement implementation for clock_gettime() on mac... |
tree | commitdiff |
2010-07-03 |
Morgan Deters | With this commit come a number of changes to build... |
tree | commitdiff |
2010-06-04 |
Morgan Deters | ** Don't fear the files-changed list, almost all change... |
tree | commitdiff |
2010-04-05 |
Morgan Deters | fix most of the warnings in the parser by (1) quieting... |
tree | commitdiff |
2010-04-01 |
Morgan Deters | minor forgotten things in last commit |
tree | commitdiff |
2010-04-01 |
Morgan Deters | PARSER STUFF: |
tree | commitdiff |
2010-03-30 |
Christopher L. Conway | Removing unnecessary .gitignores |
tree | commitdiff |
2010-03-30 |
Christopher L. Conway | Merging from branches/antlr3 (r246:354) |
tree | commitdiff |
2010-02-26 |
Morgan Deters | * test/unit/context/context_black.h: Test CDList<>... |
tree | commitdiff |
2010-02-04 |
Morgan Deters | remove -*- c++ -*- emacs tag from source files (it... |
tree | commitdiff |
2010-02-04 |
Morgan Deters | minor fix for update-copyright.pl; ran update-copyright... |
tree | commitdiff |
2009-12-17 |
Morgan Deters | update-copyright.pl now retrieves and incorporates... |
tree | commitdiff |
2009-12-16 |
Morgan Deters | Fixes to the build system: |
tree | commitdiff |
2009-12-09 |
Morgan Deters | some fixes and organizational adjustments to assert... |
tree | commitdiff |
2009-12-07 |
Morgan Deters | big check-in of various fixes and adjustments |
tree | commitdiff |
2009-12-05 |
Morgan Deters | more build system work |
tree | commitdiff |
2009-11-25 |
Morgan Deters | additional work on parser hookup, configuration + build |
tree | commitdiff |
2009-11-24 |
Morgan Deters | various fixes and updates to use and support parser |
tree | commitdiff |
2009-11-24 |
Christopher L. Conway | Partial parser for booleans |
tree | commitdiff |
2009-11-24 |
Morgan Deters | configure option adjustments as per 11/24 meeting;... |
tree | commitdiff |
2009-11-23 |
Morgan Deters | fixups, file comments |
tree | commitdiff |
2009-11-19 |
Morgan Deters | testing framework, configure fixes, incorporations... |
tree | commitdiff |
2009-11-18 |
Morgan Deters | work on exprs, driver, util |
tree | commitdiff |
2009-11-17 |
Morgan Deters | fixes/redesign of source layout from meeting |
tree | commitdiff |
2009-11-17 |
Morgan Deters | another pass |
tree | commitdiff |
2009-11-17 |
Morgan Deters | fixes and additions |
tree | commitdiff |
2009-11-12 |
Morgan Deters | parser, minisat, other things.. |
tree | commitdiff |
2009-11-09 |
Morgan Deters | minor fixes, added contrib directory |
tree | commitdiff |
next |