Age | Commit message (Expand) | Author |
2017-07-10 | Merge ntExt branch. Adds support for transcendental functions. Refactoring of... | ajreynol |
2017-07-10 | Merge datatype shared selectors/sygus comp 2017 branch. Modify the datatypes ... | ajreynol |
2017-07-07 | Update copyright headers. | Mathias Preiner |
2017-07-05 | Non-linear supported in ALL logics. Minor fixes for set logic with sygus. | ajreynol |
2017-03-07 | More fixes for printing/parsing sets, fix kind name. | ajreynol |
2017-03-06 | Support for set compliment and universe set. Simplify approach for sep.nil no... | ajreynol |
2017-03-02 | Eliminate Boolean term conversion. Generalizes removeITE pass to remove Boole... | ajreynol |
2016-11-18 | Add support for set-logic ALL, fix compiler error in GCC 6.1 | Clark Barrett |
2016-11-01 | Revert change to datatypes API for passing pointers, instead make deep copy d... | ajreynol |
2016-11-01 | Working memory leak free version, changes interface to pointers. | ajreynol |
2016-10-13 | Revert "Merge branch 'origin' of https://github.com/CVC4/CVC4.git" | Tim King |
2016-10-11 | Merge branch 'origin' of https://github.com/CVC4/CVC4.git | Paul Meng |
2016-09-14 | Support for unique variable generation in node manager. | ajreynol |
2016-07-05 | Merge branch 'master' of https://github.com/CVC4/CVC4.git | PaulMeng |
2016-06-17 | Cleanup from last commit, treat sep.nil as variable kind. | ajreynol |
2016-06-17 | Support for separation logic. Enable cbqi by default for pure BV. | ajreynol |
2016-05-05 | Compute term indices lazily in TermDb. Optimization for qcf to recognize irre... | ajreynol |
2016-04-20 | update from the master | PaulMeng |
2016-04-15 | change transitive closure operator name to TCLOUSRE | PaulMeng |
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 | extended smt parser for the finite relations | PaulMeng |
2016-02-02 | Moving dump.*, command.*, model.*, and ite_removal.* from smt_util/ to smt/. ... | Tim King |
2016-01-28 | Adding listeners to Options. | Tim King |
2015-12-14 | Refactoring Options Handler & Library Cycle Breaking | Tim King |
2015-09-18 | More work mixing UF and sygus. | ajreynol |
2015-08-01 | Simplification/improvement to solving deltas in LRA cbqi. Bug fix sygus datat... | ajreynol |
2015-08-01 | Support for default grammar for datatypes in sygus. Support vts for infinity. | ajreynol |
2015-07-31 | Sygus support for inductive datatypes. | ajreynol |
2015-07-25 | Add option --sygus-inv-templ for synthesizing strengthening/weakening of pre/... | ajreynol |
2015-07-20 | Squashed merge of SygusComp 2015 branch. | ajreynol |
2015-06-12 | Make sygus an output language. Parse declare-fun in sygus. Minor improvemen... | ajreynol |
2015-06-12 | Accelerate sygus solution reconstruction for constants and id functions. Min... | ajreynol |
2015-06-11 | Avoid naming conflicts in sygus, refactor. Add missing regression. Detect St... | ajreynol |
2015-06-11 | Handle duplicate operators in sygus grammars. Parse sygus quoted literals. A... | ajreynol |
2015-06-11 | Update experimental scripts. Support top-level non-terminals in sygus gramma... | ajreynol |
2015-06-10 | Support for printing solutions involving LetGTerm sygus. Bug fix define-fun w... | ajreynol |
2015-06-10 | Parse support for sygus LetGTerm. | ajreynol |
2015-06-03 | Refactoring of sygus parsing, properly parse Constant/Variable constructors. | ajreynol |
2015-06-02 | Flatten sygus grammars during parsing. Remove duplicate operators from grammars. | ajreynol |
2015-05-11 | Allow sygus with no syntactic restrictions for LIA. Add regressions. | ajreynol |
2015-05-11 | Support for arbitrary constants/variables in Sygus grammars. | ajreynol |
2015-04-23 | Added option for --check-unsat-cores and various core bug fixes (merge of Mor... | Liana Hadarean |
2015-04-22 | Merge pull request #73 from kbansal/parser-dont-tokenize | Kshitij Bansal |
2015-04-16 | Handle (degenerate) case of synthesis conjectures for constants. Disable del... | ajreynol |
2015-04-15 | string parser builtinop changes | Kshitij Bansal |
2015-04-15 | fp builtinop parser changes | Kshitij Bansal |
2015-04-15 | THEORY_INTS parser changes | Kshitij Bansal |
2015-04-15 | THEORY_REAL_INTS parser changes | Kshitij Bansal |
2015-04-15 | array theory builtinop | Kshitij Bansal |