| 2018-08-09 |
Aina Niemetz | Plug solver API object into parser. (#2240) |
tree | commitdiff |
| 2018-07-26 |
Aina Niemetz | New C++ API: Enable examples. (#2222) |
tree | commitdiff |
| 2018-07-23 |
Aina Niemetz | New C++ API: declare-datatype. (#2166) |
tree | commitdiff |
| 2018-07-03 |
Aina Niemetz | Fix datatypes example: nil constructor was missing... |
tree | commitdiff |
| 2018-06-27 |
Aina Niemetz | Header for new C++ API. (#1697) |
tree | commitdiff |
| 2018-06-25 |
Aina Niemetz | Updated copyright headers. |
tree | commitdiff |
| 2018-05-21 |
Andres Noetzli | Fix compiler warning in hashsmt example (#1927) |
tree | commitdiff |
| 2018-04-05 |
Andres Noetzli | Make Python bindings example compatible w/ Python3... |
tree | commitdiff |
| 2018-04-02 |
Clark Barrett | Remove references to nyu (#1721) |
tree | commitdiff |
| 2018-03-21 |
Aina Niemetz | Add bit-vector extract example. (#1681) |
tree | commitdiff |
| 2018-03-20 |
Aina Niemetz | Add parameterized datatypes example. (#1676) |
tree | commitdiff |
| 2018-03-07 |
Mathias Preiner | Make statistics output consistent. (#1647) |
tree | commitdiff |
| 2018-03-05 |
Aina Niemetz | Add support for check-sat-assuming. (#1637) |
tree | commitdiff |
| 2017-09-27 |
Andrew Reynolds | Add quantifiers API example, fixes #879 (#1146) |
tree | commitdiff |
| 2017-07-21 |
Tim King | Merge branch 'master' into cleanup-regexp |
tree | commitdiff |
| 2017-07-21 |
Tim King | Moving from the gnu extensions for hash maps to the... |
tree | commitdiff |
| 2017-07-17 |
Tim King | Merge branch 'master' into cleanup-regexp |
tree | commitdiff |
| 2017-07-17 |
Tim King | Moving to static_assert now that c++11 is available. |
tree | commitdiff |
| 2017-07-07 |
Mathias Preiner | Update copyright headers. |
tree | commitdiff |
| 2017-03-02 |
ajreynol | Eliminate Boolean term conversion. Generalizes removeIT... |
tree | commitdiff |
| 2017-01-18 |
Andrew Reynolds | Merge pull request #128 from 4tXJ7f/fix_lfsc_perf |
tree | commitdiff |
| 2017-01-14 |
Clark Barrett | Merge pull request #130 from chadbrewbaker/master |
tree | commitdiff |
| 2017-01-11 |
Clark Barrett | Merge pull request #129 from timothy-king/regression... |
tree | commitdiff |
| 2017-01-11 |
Clark Barrett | Merge pull request #131 from makaimann/fix_702 |
tree | commitdiff |
| 2017-01-11 |
makaimann | Proposed fix for bug 702. Checks to make sure the Expr... |
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-06 |
Tim King | Add SmtGlobals Class |
tree | commitdiff |
| 2015-12-30 |
Tim King | Shuffling around public vs. private headers |
tree | commitdiff |
| 2015-12-27 |
Clark Barrett | Merged my changes from experimental branch (new array... |
tree | commitdiff |
| 2015-12-23 |
Clark Barrett | Added extract.cpp example |
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-07-28 |
Tianyi Liang | Merge branch 'master' of https://github.com/CVC4/CVC4 |
tree | commitdiff |
| 2015-06-30 |
Kshitij Bansal | fix sets-translate |
tree | commitdiff |
| 2015-05-12 |
barrettcw | Merge pull request #74 from finnhaedicke/namespace_minisat |
tree | commitdiff |
| 2015-04-23 |
Clark Barrett | Merge branch 'master' into google |
tree | commitdiff |
| 2015-04-23 |
Clark Barrett | A few more minor updates to match google repository... |
tree | commitdiff |
| 2014-12-09 |
Morgan Deters | Cleanup. |
tree | commitdiff |
| 2014-12-06 |
Tianyi Liang | Added string constant in java api example. |
tree | commitdiff |
| 2014-12-06 |
Tianyi Liang | Added C++/Java api examples; |
tree | commitdiff |
| 2014-12-06 |
Tianyi Liang | Added C++/Java api examples; |
tree | commitdiff |
| 2014-11-10 |
Morgan Deters | Merge branch '1.4.x' |
tree | commitdiff |
| 2014-11-07 |
Morgan Deters | Merge branch '1.4.x' |
tree | commitdiff |
| 2014-11-07 |
Morgan Deters | Merge branch '1.4.x' |
tree | commitdiff |
| 2014-11-07 |
Morgan Deters | Merge branch '1.4.x' |
tree | commitdiff |
| 2014-11-05 |
Morgan Deters | Merge branch '1.4.x' |
tree | commitdiff |
| 2014-10-17 |
Morgan Deters | Merge branch '1.4.x' |
tree | commitdiff |
| 2014-10-16 |
Morgan Deters | Merge branch '1.4.x' |
tree | commitdiff |
| 2014-10-11 |
Morgan Deters | Merge branch '1.4.x' |
tree | commitdiff |
| 2014-10-10 |
Kshitij Bansal | Merge remote-tracking branch 'origin/1.4.x' |
tree | commitdiff |
| 2014-10-09 |
Morgan Deters | Merge branch '1.4.x' |
tree | commitdiff |
| 2014-10-07 |
Morgan Deters | Merge branch '1.4.x' |
tree | commitdiff |
| 2014-10-06 |
Morgan Deters | Merge branch '1.4.x' |
tree | commitdiff |
| 2014-10-06 |
Morgan Deters | Merge branch '1.4.x' |
tree | commitdiff |
| 2014-10-03 |
Morgan Deters | Merge branch '1.4.x' |
tree | commitdiff |
| 2014-10-03 |
Morgan Deters | Merge branch '1.4.x' |
tree | commitdiff |
| 2014-10-02 |
Morgan Deters | Merge branch '1.4.x'. |
tree | commitdiff |
| 2014-09-30 |
Morgan Deters | Merge branch '1.4.x' |
tree | commitdiff |
| 2014-09-27 |
Morgan Deters | Merge branch '1.4.x' |
tree | commitdiff |
| 2014-09-26 |
Morgan Deters | Merge branch '1.4.x' |
tree | commitdiff |
| 2014-09-17 |
Kshitij Bansal | Merge branch '1.4.x' while ignoring commit 8d5eb49. |
tree | commitdiff |
| 2014-09-17 |
Kshitij Bansal | Merge branch '1.4.x' |
tree | commitdiff |
| 2014-08-24 |
Kshitij Bansal | fix type in sets_translate |
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-07-01 |
Morgan Deters | Merge pull request #44 from mdeters/prio-queue-updates |
tree | commitdiff |
| 2014-07-01 |
Morgan Deters | Merge pull request #45 from mdeters/turn-off-strings-exp |
tree | commitdiff |
| 2014-06-30 |
Kshitij Bansal | Merge pull request #47 from kbansal/sets |
tree | commitdiff |
| 2014-06-30 |
Kshitij Bansal | Use FS as the set-logic string for theory of sets |
tree | commitdiff |
| 2014-06-26 |
Morgan Deters | Merge tag 'smtcomp2014-resubmission' |
tree | commitdiff |
| 2014-06-25 |
Kshitij Bansal | sets api example |
tree | commitdiff |
| 2014-06-25 |
Kshitij Bansal | rename subseteq to subset in smtlib, all kinds and... |
tree | commitdiff |
| 2014-06-22 |
Kshitij Bansal | Renaming of SMT2 operator names, kinds for set theory |
tree | commitdiff |
| 2014-06-22 |
Morgan Deters | Merge tag 'smtcomp2014-application' |
tree | commitdiff |
| 2014-06-19 |
Morgan Deters | Fix make install-examples. |
tree | commitdiff |
| 2014-06-19 |
Kshitij Bansal | basic fixes for sets translator, separate binaries |
tree | commitdiff |
| 2014-06-19 |
Morgan Deters | New translator features: expand define-funs and combine... |
tree | commitdiff |
| 2014-06-19 |
Morgan Deters | Fix make install-examples. |
tree | commitdiff |
| 2014-06-18 |
Kshitij Bansal | Merge remote-tracking branch 'upstream/master' into... |
tree | commitdiff |
| 2014-06-18 |
Kshitij Bansal | basic fixes for sets translator, separate binaries |
tree | commitdiff |
| 2014-06-17 |
Morgan Deters | New translator features: expand define-funs and combine... |
tree | commitdiff |
| 2014-06-09 |
Kshitij Bansal | Merge pull request #29 from kbansal/alternatefix |
tree | commitdiff |
| 2014-06-08 |
Kshitij Bansal | sets translate: a different translation using axioms |
tree | commitdiff |
| 2014-06-06 |
Kshitij Bansal | sets translator: fix for dags |
tree | commitdiff |
| 2014-06-06 |
Kshitij Bansal | Merge pull request #28 from kbansal/sets |
tree | commitdiff |
| 2014-06-06 |
Kshitij Bansal | rm warning from helloworld example |
tree | commitdiff |
| 2014-06-06 |
Kshitij Bansal | Sets translate, and other short fixes |
tree | commitdiff |
| 2014-06-05 |
Morgan Deters | Add --default-dag-thresh to translator, build translato... |
tree | commitdiff |
| 2014-05-10 |
Morgan Deters | Fix for example installation. |
tree | commitdiff |
| 2014-05-08 |
Dejan Jovanovic | Adding encoding of sha1 collision for the hashing example |
tree | commitdiff |
| 2014-05-02 |
Morgan Deters | Fix typo in bitvectors example; thanks to Adam Gashlin... |
tree | commitdiff |
| 2014-04-06 |
Tim King | Merge pull request #21 from pcc/ite-fix |
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-21 |
Kshitij Bansal | Merge pull request #22 from kbansal/sets-model |
tree | commitdiff |
| 2014-03-19 |
Morgan Deters | Move the translator binary from src/main to examples... |
tree | commitdiff |
| next |
projects / cvc5.git / history