| Age | Commit message (Expand) | Author |
|---|
| 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-10-11 | Merge branch 'origin' of https://github.com/CVC4/CVC4.git | Paul Meng |
| 2016-09-25 | Closing an open file descriptor in MemoryMapFile. | Tim King |
| 2016-09-25 | Freeing memory in error handling code for bounded_token_buffer. | Tim King |
| 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-15 | Work on --sygus-direct-eval. Minor optimizations, updates to casc scripts. En... | ajreynol |
| 2016-05-06 | Minor clean up, fixes related to sygus. | ajreynol |
| 2016-05-05 | Compute term indices lazily in TermDb. Optimization for qcf to recognize irre... | ajreynol |
| 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-08 | Extend synthesis solver to handle single invocation with additional universal... | ajreynol |
| 2016-03-07 | modified CVC4 native language parser to accept 1-tuple declaration: | PaulMeng |
| 2016-02-16 | Public interface for quantifier elimination. Minor changes to datatypes rewr... | ajreynol |
| 2016-02-15 | Merge remote-tracking branch 'origin/master' | PaulMeng |
| 2016-02-15 | extended smt parser for the finite relations | 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-02-01 | Removing the CVC4_NEEDS_REPLACEMENT_FUNCTIONS guard to have a simpler build p... | Tim King |
| 2016-01-28 | Adding listeners to Options. | Tim King |
| 2016-01-08 | Adding a new Listener utility class. Changing the ResourceManager to use List... | 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-30 | Shuffling around public vs. private headers | 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 |
| 2015-11-26 | Front-end support for get-value of sort cardinality, minor fixes for sygus so... | ajreynol |
| 2015-11-23 | Isolating the dependencies on CVC4_ANTLR3_OLD_INPUT_STREAM. Also freeing more... | Tim King |
| 2015-09-24 | Counterexample-guided instantiation for datatypes. Make sygus parsing more l... | ajreynol |
| 2015-09-18 | More work mixing UF and sygus. | ajreynol |
| 2015-09-18 | Allow most smt2 commands as sygus commands. Fix bug in fmf-fun regarding quan... | 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 |
