Age | Commit message (Expand) | Author |
2016-04-09 | cardinality operation for finite sets (based on my thesis / ijcar16 paper) | Kshitij Bansal |
2016-04-03 | Updating the copyright headers and scripts. | Tim King |
2016-02-15 | Eliminate most of the internal representation infrastructure for tuples and r... | ajreynol |
2016-02-02 | Moving dump.*, command.*, model.*, and ite_removal.* from smt_util/ to smt/. ... | Tim King |
2015-12-15 | Breaking the include cycle between Record and Expr. | Tim King |
2015-12-14 | Refactoring Options Handler & Library Cycle Breaking | Tim King |
2014-11-17 | Resource-limiting work. | Liana Hadarean |
2014-10-23 | Parsing and infrastructure support for SMT-LIBv2.5 input and output languages. | Morgan Deters |
2014-10-08 | Add unsat cores support to CVC native language. | Morgan Deters |
2014-10-06 | Support for RESET command in CVC native language (and infrastructure for supp... | Morgan Deters |
2014-10-03 | Merge branch '1.4.x' | Morgan Deters |
2014-10-03 | More array constants and parsing: better error messages, extend to CVC presen... | Morgan Deters |
2014-10-03 | Minor fixes to CVC printer. | Morgan Deters |
2014-07-10 | membership cvc token changed to `IS_IN' to avoid conflict with IN used for let | Kshitij Bansal |
2014-07-09 | sets cvc printer | Kshitij Bansal |
2014-07-01 | Update copyrights. | Morgan Deters |
2014-06-22 | Output language "cvc3" (as opposed to "cvc" or "cvc4") produces output for CVC3: | Morgan Deters |
2014-06-22 | Minor cleanup stuff. | Morgan Deters |
2014-06-04 | Add operator support (resolves bug #563). | Morgan Deters |
2014-04-10 | Expand definitions in theory datatypes, now has the expected semantics for in... | Andrew Reynolds |
2014-03-05 | Improving support for POW in arithmetic. Resolves bug 549. | Tim King |
2013-12-24 | Merge branch '1.3.x' | Morgan Deters |
2013-12-24 | Better automatic handling of output language setting. | Morgan Deters |
2013-12-23 | Proof-checking code; fixups of segfaults and missing functionality in proof g... | Morgan Deters |
2013-12-05 | Update copyrights, add missing file-level documentation; fix perms. | Morgan Deters |
2013-11-27 | General pre-release cleanup commit | Morgan Deters |
2013-11-19 | Add fair strategy for finite model finding multiple sorts --uf-ss-fair. | Andrew Reynolds |
2013-11-10 | Flatten libcvc4 build structure; remove some #include interdependences | Morgan Deters |
2013-07-06 | Model output is now const; this related to bug 519 | Morgan Deters |
2013-04-02 | Regenerated copyrights: canonicalized names, no emails | Morgan Deters |
2013-04-01 | update copyrights | Morgan Deters |
2013-03-26 | Fixes for warnings from clang++, from -std=gnu++0x, from swig, and from javac | Morgan Deters |
2013-03-22 | Support for Boolean term conversion in datatypes. | Morgan Deters |
2013-03-21 | Some model and printing fixes for defined functions in input. | Morgan Deters |
2013-02-24 | added option --model-u-dt-enum for outputting uninterpreted sorts as datatype... | Andrew Reynolds |
2012-12-18 | Fix printing of EXISTS in CVC language printer | Morgan Deters |
2012-12-12 | * fixed bug 481 by adding check for division by 0 in bit-vector division circuit | lianah |
2012-12-01 | another part of last commit | Morgan Deters |
2012-11-30 | internal variables (skolems) aren't printed as part of the model | Morgan Deters |
2012-11-30 | Partial fix for bug 435; still needs some effort. | Morgan Deters |
2012-11-27 | First chunk of boolean-terms support. | Morgan Deters |
2012-11-27 | Tuples and records merge. Resolves bug 270. | Morgan Deters |
2012-11-17 | * Fix for bug 445 agreed to in meeting 11/13/2012: always dump in ALL_SUPPORT... | Morgan Deters |
2012-11-16 | Fix dumping of array-select expressions in CVC native language. | Morgan Deters |
2012-11-14 | Fix for bug 407. mkAnonymousFunction() in the parser no longer uses ':'. CVC ... | Tim King |
2012-10-11 | Standardizing copyright notice. Touches **ALL** sources, guys, sorry.. it's | Morgan Deters |
2012-10-05 | Bug-related: | Morgan Deters |
2012-10-05 | BoolExpr removed and replaced with Expr | Dejan Jovanović |
2012-09-26 | Finish off SEXPR kind work. | Morgan Deters |
2012-09-24 | some api changes | Dejan Jovanović |