Age | Commit message (Expand) | Author |
2017-04-20 | Support for relational operators identity and join image | Paul Meng |
2017-04-12 | Add nullary operator metakind. | ajreynol |
2017-03-20 | fixed cvc4 parser for set complement | Paul Meng |
2017-03-16 | Parsing support for SMT LIB 2.6. Minor fixes for printing datatypes. Fix for ... | ajreynol |
2017-03-07 | More fixes for printing/parsing sets, fix kind name. | ajreynol |
2017-03-07 | Fix cvc parser for set compliment. | 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-12-07 | Added cardinality to cvc language, fixes bug 753. Throw logic exception when ... | ajreynol |
2016-11-30 | Fix parsing of BVROTR by CVC parser | Andres Notzli |
2016-11-11 | Adding garbage collection for the CVC Parser for Commands when exceptions are... | Tim King |
2016-11-01 | Revert change to Datatypes API to return vector of DatatypeTypes, as before. ... | ajreynol |
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-26 | New implementation of sets+cardinality. Merge Paul Meng's relation solver as... | ajreynol |
2016-10-13 | Revert "Merge branch 'origin' of https://github.com/CVC4/CVC4.git" | Tim King |
2016-07-05 | Merge branch 'master' of https://github.com/CVC4/CVC4.git | PaulMeng |
2016-05-05 | Removing a null pointer reference that was found by -fsanitize=null. | Tim King |
2016-04-20 | update from the master | PaulMeng |
2016-04-15 | change transitive closure operator name to TCLOUSRE | PaulMeng |
2016-04-13 | Update native language support for strings. | ajreynol |
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-03-07 | modified CVC4 native language parser to accept 1-tuple declaration: | PaulMeng |
2016-02-15 | Merge remote-tracking branch 'origin/master' | PaulMeng |
2016-02-15 | Minor change to last commit | ajreynol |
2016-02-15 | Eliminate most of the internal representation infrastructure for tuples and r... | ajreynol |
2016-02-09 | - extend cvc4 frontend parser to accept relational operators (product, | 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 |
2016-01-08 | Disabling the RESTART command. | Tim King |
2016-01-06 | Improving the documentation of the CVC command CONTINUE. | Tim King |
2015-12-18 | Modifying emptyset.h and sexpr. Adding SetLanguage. | 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 |
2015-12-03 | Removing the generated directory from the parsers. | Tim King |
2014-12-12 | Add cvc parsing support for cardinality constraints. Bug fix for enumerating... | ajreynol |
2014-10-23 | Parsing and infrastructure support for SMT-LIBv2.5 input and output languages. | Morgan Deters |
2014-10-10 | Cleanup | Morgan Deters |
2014-10-08 | Add unsat cores support to CVC native language. | Morgan Deters |
2014-10-06 | Clear out decls/defs with RESET command. | Morgan Deters |
2014-10-06 | Merge branch '1.4.x' | Morgan Deters |
2014-10-06 | Fix native language parsing of chained-store expressions (resolves bug 585). ... | 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 | Improve error in CVC parser in presence of unrecognized command name. | Morgan Deters |
2014-10-03 | More array constants and parsing: better error messages, extend to CVC presen... | 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 parser | Kshitij Bansal |
2014-07-01 | Update copyrights. | Morgan Deters |