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 |
2013-03-13 |
lianah | post failed attempts at getting the incremental solver... |
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-17 |
Kshitij Bansal | Merge pull request #6 from kbansal/decNewoptions |
tree | commitdiff |
2013-02-16 |
Morgan Deters | Some cleanup and copyright updating |
tree | commitdiff |
2012-12-01 |
Morgan Deters | updated examples |
tree | commitdiff |
2012-12-01 |
Liana Hadarean | added a new example for the combination of bit-vectors... |
tree | commitdiff |
2012-12-01 |
Tim King | Polishing API examples. |
tree | commitdiff |
2012-11-30 |
Morgan Deters | all API examples now have java versions too; bitvectors... |
tree | commitdiff |
2012-11-30 |
Tim King | Updating the combination.cpp example. |
tree | commitdiff |
2012-11-30 |
Morgan Deters | change detection/handling of output language more reaso... |
tree | commitdiff |
2012-11-30 |
Liana Hadarean | added a simple API example example showing how to use... |
tree | commitdiff |
2012-11-30 |
Tim King | Changes to SExpr to accept autoconversion from bool... |
tree | commitdiff |
2012-11-28 |
Tim King | Adding the helloworld.cpp example. |
tree | commitdiff |
2012-11-27 |
Tim King | Adding an example to show how to use arithmetic. |
tree | commitdiff |
2012-11-26 |
Morgan Deters | some fixes to language bindings and function visibility |
tree | commitdiff |
2012-10-22 |
Morgan Deters | fix misleading comment in example |
tree | commitdiff |
2012-10-06 |
Morgan Deters | * Some documentation about building compatibility and... |
tree | commitdiff |
2012-10-05 |
Morgan Deters | Bug-related: |
tree | commitdiff |
2012-10-05 |
Dejan Jovanović | BoolExpr removed and replaced with Expr |
tree | commitdiff |
2012-10-03 |
Morgan Deters | better documentation, allow examples to be installed... |
tree | commitdiff |
2012-09-28 |
Morgan Deters | * fix compatibility library naming for SMT-LIBv1 |
tree | commitdiff |
2012-08-16 |
Morgan Deters | some fixes for language bindings |
tree | commitdiff |
2012-07-31 |
Morgan Deters | Options merge. This commit: |
tree | commitdiff |
2012-07-14 |
Morgan Deters | fixing make dist |
tree | commitdiff |
2012-07-14 |
Dejan Jovanović | an example that uses bitvectors to simulate sha1 comput... |
tree | commitdiff |
2012-07-10 |
Dejan Jovanović | * fixing the simple_vc_cxx.cpp compile issue (no more... |
tree | commitdiff |
2011-11-22 |
Morgan Deters | fix module name for CVC4 jar file; part of the fix... |
tree | commitdiff |
2011-11-22 |
Morgan Deters | More language bindings work: |
tree | commitdiff |
2011-11-16 |
Morgan Deters | Fix "make dist". Fixes to python and ruby bindings... |
tree | commitdiff |
2011-11-15 |
Morgan Deters | Bindings work (ocaml bindings are now sort of working... |
tree | commitdiff |
2011-11-15 |
Morgan Deters | additional minor changes to get python binding on bette... |
tree | commitdiff |
2011-11-15 |
Morgan Deters | fixes for python language binding, added python example |
tree | commitdiff |
2011-10-03 |
Morgan Deters | user push/pop support in minisat and simplification... |
tree | commitdiff |
2011-09-30 |
Morgan Deters | forgot to put some things in the distro |
tree | commitdiff |
2011-09-30 |
Morgan Deters | interfaces fixes and cleanups...and examples of each... |
tree | commitdiff |
|