| 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 |
| 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 |
Morgan Deters | Merge branch '1.3.x' |
tree | commitdiff |
| 2014-02-19 |
Tim King | Merge branch '1.3.x' |
tree | commitdiff |
| 2014-01-27 |
Morgan Deters | Merge branch '1.3.x' |
tree | commitdiff |
| 2014-01-18 |
Morgan Deters | Merge branch '1.3.x' |
tree | commitdiff |
| 2014-01-17 |
Kshitij Bansal | Merge branch '1.3.x' |
tree | commitdiff |
| 2014-01-09 |
Morgan Deters | Merge branch '1.3.x' |
tree | commitdiff |
| 2014-01-08 |
Morgan Deters | Merge branch '1.3.x' |
tree | commitdiff |
| 2014-01-02 |
Morgan Deters | Merge branch '1.3.x' |
tree | commitdiff |
| 2013-12-27 |
Morgan Deters | Merge branch '1.3.x' |
tree | commitdiff |
| 2013-12-26 |
Tianyi Liang | Merge branch 'master' of https://github.com/CVC4/CVC4 |
tree | commitdiff |
| 2013-12-24 |
Morgan Deters | Cleanup related to output language fix. |
tree | commitdiff |
| 2013-12-24 |
Morgan Deters | Merge branch '1.3.x' |
tree | commitdiff |
| 2013-12-24 |
Morgan Deters | Merge branch '1.3.x' |
tree | commitdiff |
| 2013-12-24 |
Morgan Deters | Java datatype API fixups, datatype API examples |
tree | commitdiff |
| 2013-12-15 |
Tianyi Liang | Merge branch 'master' of github.com:tiliang/CVC4 |
tree | commitdiff |
| 2013-12-14 |
Morgan Deters | Merge branch '1.3.x' |
tree | commitdiff |
| 2013-12-14 |
Morgan Deters | Another fix for clang. |
tree | commitdiff |
| 2013-12-05 |
Morgan Deters | Update copyrights, add missing file-level documentation... |
tree | commitdiff |
| 2013-12-03 |
Tianyi Liang | Merge branch 'master' of github.com:tiliang/CVC4 |
tree | commitdiff |
| 2013-11-27 |
Morgan Deters | Incremental is now on by default when using from API... |
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-25 |
Morgan Deters | Merge branch '1.2.x' |
tree | commitdiff |
| 2013-06-19 |
Morgan Deters | Merge branch '1.2.x' |
tree | commitdiff |
| 2013-06-17 |
Morgan Deters | Java streams example I forgot to add a long time ago |
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-27 |
lianah | Merge branch 'master' into bv-core |
tree | commitdiff |
| 2013-03-26 |
Morgan Deters | Fixes for warnings from clang++, from -std=gnu++0x... |
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 |
| next |
projects / cvc5.git / history