2016-01-06 |
Tim King | Moving sexpr.{cpp,h,i} from expr/ back into util/. |
tree | commitdiff |
2015-12-30 |
Tim King | Shuffling around public vs. private headers |
tree | commitdiff |
2015-12-19 |
Tim King | Modifying emptyset.h and sexpr. Adding SetLanguage. |
tree | commitdiff |
2015-12-15 |
Tim King | Breaking the include cycle between Record and Expr. |
tree | commitdiff |
2015-12-15 |
Tim King | Refactoring Options Handler & Library Cycle Breaking |
tree | commitdiff |
2015-11-26 |
ajreynol | Front-end support for get-value of sort cardinality... |
tree | commitdiff |
2015-10-15 |
ajreynol | Change semantics of str.substr to allow endpoint out... |
tree | commitdiff |
2015-10-14 |
Kshitij Bansal | Merge pull request #77 from kbansal/macsegfault |
tree | commitdiff |
2015-10-13 |
Kshitij Bansal | remove options infrastructure code which depended on... |
tree | commitdiff |
2015-07-28 |
Tianyi Liang | Merge branch 'master' of https://github.com/CVC4/CVC4 |
tree | commitdiff |
2015-07-20 |
ajreynol | Squashed merge of SygusComp 2015 branch. |
tree | commitdiff |
2015-06-30 |
Kshitij Bansal | fix smt2 parameterized sort printing |
tree | commitdiff |
2015-06-12 |
ajreynol | Make sygus an output language. Parse declare-fun in... |
tree | commitdiff |
2015-05-12 |
barrettcw | Merge pull request #74 from finnhaedicke/namespace_minisat |
tree | commitdiff |
2015-04-28 |
ajreynol | Fix smt2 printing of fun-def. Simplification of mbqi... |
tree | commitdiff |
2015-04-23 |
Clark Barrett | Merge branch 'master' into google |
tree | commitdiff |
2015-04-21 |
Clark Barrett | Changes needed to compile at Google, plus some bug... |
tree | commitdiff |
2015-04-02 |
Kshitij Bansal | Merge pull request #71 from kbansal/const-are-triggers |
tree | commitdiff |
2015-03-28 |
Tianyi Liang | printer change for string smtlib2 |
tree | commitdiff |
2015-02-06 |
Tianyi Liang | Merge branch 'master' of github.com:tiliang/CVC4 |
tree | commitdiff |
2015-01-19 |
Tim King | Adding tests for get-value output for arithmetic. |
tree | commitdiff |
2015-01-11 |
Tianyi Liang | adjusted to both v2.0 and v2.5 string literals |
tree | commitdiff |
2015-01-09 |
Tianyi Liang | blocked unprintable characters in string literals; |
tree | commitdiff |
2015-01-08 |
Tianyi Liang | switch ascii encoding to unsigned char |
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-12-04 |
Martin Brain | Floating point infrastructure. |
tree | commitdiff |
2014-11-27 |
Tianyi Liang | Merge branch 'master' of github.com:tiliang/CVC4 |
tree | commitdiff |
2014-11-17 |
Liana Hadarean | Resource-limiting work. |
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-23 |
Morgan Deters | Parsing and infrastructure support for SMT-LIBv2.5... |
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-09 |
Morgan Deters | Add unsat cores support to CVC native language. |
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 | Print array constants in SMT-LIB models with new syntax. |
tree | commitdiff |
2014-10-06 |
Morgan Deters | Merge branch '1.4.x' |
tree | commitdiff |
2014-10-06 |
Morgan Deters | Support for RESET command in CVC native language (and... |
tree | commitdiff |
2014-10-03 |
Morgan Deters | Merge branch '1.4.x' |
tree | commitdiff |
2014-10-03 |
Morgan Deters | Fix output of integer-valued real constants in SMT... |
tree | commitdiff |
2014-10-03 |
Morgan Deters | More array constants and parsing: better error messages... |
tree | commitdiff |
2014-10-03 |
Morgan Deters | Minor fixes to CVC printer. |
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-26 |
Morgan Deters | Improved SMT-LIBv2 language support for unsat cores. |
tree | commitdiff |
2014-08-23 |
Morgan Deters | Unsat core printing. |
tree | commitdiff |
2014-08-22 |
Morgan Deters | Unsat core infrastruture and API (SMT-LIB compliance... |
tree | commitdiff |
2014-08-22 |
Morgan Deters | Merge branch '1.4.x' |
tree | commitdiff |
2014-08-22 |
Morgan Deters | Fix operator-printing issue in SMT2. |
tree | commitdiff |
2014-07-11 |
Kshitij Bansal | Merge pull request #48 from kbansal/segfaultfix |
tree | commitdiff |
2014-07-11 |
Kshitij Bansal | Merge pull request #49 from kbansal/cvcparser |
tree | commitdiff |
2014-07-10 |
Kshitij Bansal | membership cvc token changed to `IS_IN' to avoid confli... |
tree | commitdiff |
2014-07-10 |
Kshitij Bansal | Merge remote-tracking branch 'origin/master' into segfa... |
tree | commitdiff |
2014-07-09 |
Kshitij Bansal | sets cvc printer |
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-29 |
Kshitij Bansal | sets: "insert" operator |
tree | commitdiff |
2014-06-26 |
Morgan Deters | Merge tag 'smtcomp2014-resubmission' |
tree | commitdiff |
2014-06-25 |
Andrew Reynolds | Merge pull request #34 from mdeters/datatypes-kinds |
tree | commitdiff |
2014-06-25 |
Andrew Reynolds | Merge pull request #37 from mdeters/quants-kinds |
tree | commitdiff |
2014-06-25 |
Andrew Reynolds | Merge pull request #38 from mdeters/uf-kinds |
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 | Output language "cvc3" (as opposed to "cvc" or "cvc4... |
tree | commitdiff |
2014-06-22 |
Morgan Deters | Minor cleanup stuff. |
tree | commitdiff |
2014-06-22 |
Morgan Deters | Merge tag 'smtcomp2014-application' |
tree | commitdiff |
2014-06-22 |
lianah | Merge pull request #35 from mdeters/bv-kinds |
tree | commitdiff |
2014-06-21 |
Morgan Deters | Some minor cleanup and documentation. |
tree | commitdiff |
2014-06-19 |
ajreynol | For casc : print models of functions rewritten by sort... |
tree | commitdiff |
2014-06-17 |
ajreynol | For casc : print models of functions rewritten by sort... |
tree | commitdiff |
2014-06-06 |
Kshitij Bansal | Merge pull request #28 from kbansal/sets |
tree | commitdiff |
2014-06-06 |
Kshitij Bansal | Sets translate, and other short fixes |
tree | commitdiff |
2014-06-05 |
Morgan Deters | When printing in SMT, print N-ary bvadd/bvmul/concat... |
tree | commitdiff |
2014-06-04 |
Morgan Deters | Add operator support (resolves bug #563). |
tree | commitdiff |
2014-05-12 |
Tianyi Liang | Merge branch 'master' of github.com:tiliang/CVC4 |
tree | commitdiff |
2014-05-11 |
Andrew Reynolds | More preparation for CASC proofs. Minor fix for sort... |
tree | commitdiff |
2014-04-30 |
Morgan Deters | Fix simplify output for SMT2 printer. |
tree | commitdiff |
2014-04-28 |
Kshitij Bansal | Merge remote-tracking branch 'upstream/master' into... |
tree | commitdiff |
2014-04-10 |
Andrew Reynolds | Expand definitions in theory datatypes, now has the... |
tree | commitdiff |
2014-04-06 |
Tim King | Merge pull request #21 from pcc/ite-fix |
tree | commitdiff |
2014-04-03 |
Morgan Deters | Properly quote symbols in SMT-LIB printer. |
tree | commitdiff |
2014-04-01 |
Tim King | Merge branch '1.3.x' |
tree | commitdiff |
2014-03-31 |
Tianyi Liang | add str to u16/u32, and u16/u32 to str |
tree | commitdiff |
2014-03-31 |
Tianyi Liang | add str to u16/u32, and u16/u32 to str |
tree | commitdiff |
2014-03-27 |
Tianyi Liang | adds new feature: re.loop |
tree | commitdiff |
next |