2021-07-28 |
Gereon Kremer | Only use libedit on tty inputs (#6946) |
blob | commitdiff | raw |
2021-06-15 |
Gereon Kremer | Remove public option wrappers (#6716) |
blob | commitdiff | raw | diff to current |
2021-06-06 |
Gereon Kremer | Support public option modules (#6691) |
blob | commitdiff | raw | diff to current |
2021-06-02 |
Gereon Kremer | Move public wrapper functions out of options class... |
blob | commitdiff | raw | diff to current |
2021-05-14 |
Andres Noetzli | Decouple parser creation from input selection (#6533) |
blob | commitdiff | raw | diff to current |
2021-04-21 |
Mathias Preiner | Goodbye CVC4, hello cvc5! (#6371) |
blob | commitdiff | raw | diff to current |
2021-04-15 |
Aina Niemetz | Rename occurrences of CVC4 to CVC5. (#6351) |
blob | commitdiff | raw | diff to current |
2021-04-12 |
Aina Niemetz | Refactor and update copyright headers. (#6316) |
blob | commitdiff | raw | diff to current |
2021-04-10 |
Aina Niemetz | Rename CVC4_ macros to CVC5_. (#6327) |
blob | commitdiff | raw | diff to current |
2021-04-06 |
Aina Niemetz | New C++ Api: Rename and move headers. (#6292) |
blob | commitdiff | raw | diff to current |
2021-04-01 |
Aina Niemetz | Rename namespace CVC5 to cvc5. (#6258) |
blob | commitdiff | raw | diff to current |
2021-03-31 |
Aina Niemetz | Rename namespace CVC4 to CVC5. (#6249) |
blob | commitdiff | raw | diff to current |
2021-03-10 |
Mathias Preiner | Use Assert instead of assert. (#6095) |
blob | commitdiff | raw | diff to current |
2021-03-09 |
Aina Niemetz | Update copyright headers to 2021. (#6081) |
blob | commitdiff | raw | diff to current |
2020-11-11 |
Andrew Reynolds | Move symbol manager to src/expr/ (#5420) |
blob | commitdiff | raw | diff to current |
2020-11-09 |
Andrew Reynolds | Add symbol manager (#5380) |
blob | commitdiff | raw | diff to current |
2020-09-23 |
Abdalrhman Mohamed | Refactor Commands to use the Public API. (#5105) |
blob | commitdiff | raw | diff to current |
2020-09-22 |
Mathias Preiner | Update copyright header script to support CMake and... |
blob | commitdiff | raw | diff to current |
2020-07-17 |
Andrew V. Jones | Support for using 'libedit' over 'readline' #4571 ... |
blob | commitdiff | raw | diff to current |
2020-07-07 |
Andrew Reynolds | Transfer ownership of internal Options from NodeManager... |
blob | commitdiff | raw | diff to current |
2020-06-16 |
Aina Niemetz | Update copyright headers. |
blob | commitdiff | raw | diff to current |
2019-09-06 |
Mathias Preiner | Remove SMT1 parser. (#3228) |
blob | commitdiff | raw | diff to current |
2019-03-26 |
Aina Niemetz | Update copyright headers. |
blob | commitdiff | raw | diff to current |
2018-08-09 |
Aina Niemetz | Plug solver API object into parser. (#2240) |
blob | commitdiff | raw | diff to current |
2018-08-08 |
Andres Noetzli | Require Swig 3 (#2283) |
blob | commitdiff | raw | diff to current |
2018-08-01 |
Aina Niemetz | InteractiveShell: Remove redundant options argument... |
blob | commitdiff | raw | diff to current |
2018-06-25 |
Aina Niemetz | Updated copyright headers. |
blob | commitdiff | raw | diff to current |
2018-05-03 |
Andrew Reynolds | Initial support for string standard in smt lib 2.6... |
blob | commitdiff | raw | diff to current |
2018-01-09 |
Tim King | Removing more miscellaneous throw specifiers. (#1488) |
blob | commitdiff | raw | diff to current |
2017-09-01 |
Andres Noetzli | Replace CVC4_THREADLOCAL in interactive_shell (#1065) |
blob | commitdiff | raw | diff to current |
2017-07-07 |
Mathias Preiner | Update copyright headers. |
blob | commitdiff | raw | diff to current |
2017-04-13 |
Clark Barrett | Fix for some compilers |
blob | commitdiff | raw | diff to current |
2017-03-16 |
ajreynol | Parsing support for SMT LIB 2.6. Minor fixes for printi... |
blob | commitdiff | raw | diff to current |
2016-07-05 |
PaulMeng | Merge branch 'master' of https://github.com/CVC4/CVC4.git |
blob | commitdiff | raw | diff to current |
2016-05-16 |
Clark Barrett | Fix memory leak in interactive_shell.cpp |
blob | commitdiff | raw | diff to current |
2016-04-20 |
PaulMeng | update from the master |
blob | commitdiff | raw | diff to current |
2016-04-09 |
Guy | Merge branch 'master' of https://github.com/CVC4/CVC4 |
blob | commitdiff | raw | diff to current |
2016-04-04 |
Tim King | Updating the copyright headers and scripts. |
blob | commitdiff | raw | diff to current |
2016-02-02 |
Tim King | Moving dump.*, command.*, model.*, and ite_removal... |
blob | commitdiff | raw | diff to current |
2016-01-28 |
Tim King | Adding listeners to Options. |
blob | commitdiff | raw | diff to current |
2015-12-30 |
Tim King | Shuffling around public vs. private headers |
blob | commitdiff | raw | diff to current |
2015-12-16 |
Tim King | Removing the Record iterator from the swig interface... |
blob | commitdiff | raw | diff to current |
2015-12-15 |
Tim King | Refactoring Options Handler & Library Cycle Breaking |
blob | commitdiff | raw | diff to current |
2014-11-27 |
Tianyi Liang | Merge branch 'master' of github.com:tiliang/CVC4 |
blob | commitdiff | raw | diff to current |
2014-11-17 |
Liana Hadarean | Resource-limiting work. |
blob | commitdiff | raw | diff to current |
2014-11-10 |
Morgan Deters | Merge branch '1.4.x' |
blob | commitdiff | raw | diff to current |
2014-11-07 |
Morgan Deters | Merge branch '1.4.x' |
blob | commitdiff | raw | diff to current |
2014-11-07 |
Morgan Deters | Merge branch '1.4.x' |
blob | commitdiff | raw | diff to current |
2014-11-07 |
Morgan Deters | Merge branch '1.4.x' |
blob | commitdiff | raw | diff to current |
2014-11-05 |
Morgan Deters | Merge branch '1.4.x' |
blob | commitdiff | raw | diff to current |
2014-10-23 |
Morgan Deters | Parsing and infrastructure support for SMT-LIBv2.5... |
blob | commitdiff | raw | diff to current |
2014-07-10 |
Kshitij Bansal | Merge remote-tracking branch 'origin/master' into segfa... |
blob | commitdiff | raw | diff to current |
2014-07-01 |
Morgan Deters | Update copyrights. |
blob | commitdiff | raw | diff to current |
2014-06-26 |
Morgan Deters | Merge tag 'smtcomp2014-resubmission' |
blob | commitdiff | raw | diff to current |
2014-06-22 |
Morgan Deters | Merge tag 'smtcomp2014-application' |
blob | commitdiff | raw | diff to current |
2014-06-19 |
Morgan Deters | Fix for mac readline. |
blob | commitdiff | raw | diff to current |
2014-06-18 |
Kshitij Bansal | Merge remote-tracking branch 'upstream/master' into... |
blob | commitdiff | raw | diff to current |
2014-06-18 |
Morgan Deters | Fix for mac readline. |
blob | commitdiff | raw | diff to current |
2014-04-29 |
Morgan Deters | Fix for --force-logic to extend its reach to the parser. |
blob | commitdiff | raw | diff to current |
2014-04-06 |
Kshitij Bansal | Merge branch 'master' of https://github.com/CVC4/CVC4 |
blob | commitdiff | raw | diff to current |
2014-04-06 |
Tim King | Merge pull request #21 from pcc/ite-fix |
blob | commitdiff | raw | diff to current |
2014-04-06 |
Kshitij Bansal | fix for hiding prompt/header in shell, error-behavior... |
blob | commitdiff | raw | diff to current |
2014-04-04 |
Morgan Deters | Allow turning off the interactive prompt while in inter... |
blob | commitdiff | raw | diff to current |
2013-09-30 |
Liana Hadarean | merged golden |
blob | commitdiff | raw | diff to current |
2013-08-26 |
Kshitij Bansal | Merge branch '1.2.x' |
blob | commitdiff | raw | diff to current |
2013-06-27 |
Morgan Deters | Remove output.h from public space, to avoid clashes... |
blob | commitdiff | raw | diff to current |
2013-05-22 |
Andrew Reynolds | Merge branch 'master' of https://github.com/CVC4/CVC4 |
blob | commitdiff | raw | diff to current |
2013-05-20 |
Morgan Deters | Better error on illegal (pop N); also more compliant... |
blob | commitdiff | raw | diff to current |
2013-05-17 |
Morgan Deters | Better error on illegal (pop N); also more compliant... |
blob | commitdiff | raw | diff to current |
2013-04-02 |
Morgan Deters | Regenerated copyrights: canonicalized names, no emails |
blob | commitdiff | raw | diff to current |
2013-04-02 |
Morgan Deters | update copyrights |
blob | commitdiff | raw | diff to current |
2013-03-21 |
lianah | Merge branch 'master' into bv-core |
blob | commitdiff | raw | diff to current |
2013-03-20 |
Morgan Deters | Interactive mode support for multiline input |
blob | commitdiff | raw | diff to current |
2012-11-27 |
Morgan Deters | more mac fixes |
blob | commitdiff | raw | diff to current |
2012-11-27 |
Morgan Deters | fix for some Mac builds |
blob | commitdiff | raw | diff to current |
2012-10-11 |
Morgan Deters | Standardizing copyright notice. Touches **ALL** source... |
blob | commitdiff | raw | diff to current |
2012-09-28 |
Morgan Deters | Public interface review items: |
blob | commitdiff | raw | diff to current |
2012-09-27 |
Morgan Deters | * Rename SMT parts (printer, parser) to SMT1 |
blob | commitdiff | raw | diff to current |
2012-08-07 |
Morgan Deters | some fixes to command and declaration tab-completion... |
blob | commitdiff | raw | diff to current |
2012-07-31 |
Morgan Deters | Options merge. This commit: |
blob | commitdiff | raw | diff to current |
2012-06-22 |
François Bobot | TPTP: add parser for cnf and fof |
blob | commitdiff | raw | diff to current |
2012-03-01 |
Morgan Deters | Partial merge from kind-backend branch, including Minis... |
blob | commitdiff | raw | diff to current |
2012-02-20 |
Morgan Deters | portfolio merge |
blob | commitdiff | raw | diff to current |
2011-11-22 |
Morgan Deters | More language bindings work: |
blob | commitdiff | raw | diff to current |
2011-11-01 |
Morgan Deters | Improvements to header installation on user machines... |
blob | commitdiff | raw | diff to current |
2011-10-04 |
Morgan Deters | add a guard for history saving, to enable building... |
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-02 |
Morgan Deters | Merge from my post-smtcomp branch. Includes: |
blob | commitdiff | raw | diff to current |
2011-05-02 |
Morgan Deters | Minor fixes to various parts of CVC4, including the... |
blob | commitdiff | raw | diff to current |
2011-05-01 |
Morgan Deters | minor fixes, plus experimental readline support in... |
blob | commitdiff | raw | diff to current |
2011-04-15 |
Morgan Deters | parser/driver fixes for last commit |
blob | commitdiff | raw | diff to current |
2011-04-10 |
Morgan Deters | merge from replay branch |
blob | commitdiff | raw | diff to current |
2011-03-30 |
Morgan Deters | Add Valuation::getSatValue() so that theories can acces... |
blob | commitdiff | raw | diff to current |
2010-10-26 |
Christopher L. Conway | Cleaning up some header files |
blob | commitdiff | raw | diff to current |
2010-10-24 |
Christopher L. Conway | Adding unit test for InteractiveShell |
blob | commitdiff | raw | diff to current |
2010-10-23 |
Christopher L. Conway | Adding Parser::setInput and using it in InteractiveShel... |
blob | commitdiff | raw | diff to current |
2010-10-22 |
Christopher L. Conway | Saving state between lines in interactive mode (Fixes... |
blob | commitdiff | raw | diff to current |
2010-10-20 |
Christopher L. Conway | Adding support for interactive mode |
blob | commitdiff | raw | diff to current |
|