| Age | Commit message (Expand) | Author |
|---|
| 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 |
| 2017-01-10 | Adding regression test scrubbing. | Tim King |
| 2017-01-04 | Fix for tff type declarations inTPTP parser, fixes bug 748. Other minor chan... | ajreynol |
| 2016-12-07 | Added cardinality to cvc language, fixes bug 753. Throw logic exception when ... | ajreynol |
| 2016-11-22 | Fix smt2 and cvc printers for testers when output and input languages are dif... | ajreynol |
| 2016-11-01 | Make tuple and record names unique. Do not print internal datatype declaratio... | 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-08-24 | Merge remote-tracking branch 'origin/master' | PaulMeng |
| 2016-08-19 | Fixed two bugs | Clark Barrett |
| 2016-07-20 | Infrastructure for storing and printing heap models for separation logic. Ens... | ajreynol |
| 2016-07-06 | Add comment field for model, resolves hack for printing sep logic models. | 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-06 | Minor clean up, fixes related to sygus. | 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-03-23 | squash-merge from proof branch | Guy |
| 2016-02-15 | Merge remote-tracking branch 'origin/master' | PaulMeng |
| 2016-02-15 | extended smt parser for the finite relations | PaulMeng |
| 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-03 | Added --omit-dont-cares option which doesn't print model values for | Clark Barrett |
| 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-05 | Moving sexpr.{cpp,h,i} from expr/ back into util/. | 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-11-26 | Front-end support for get-value of sort cardinality, minor fixes for sygus so... | ajreynol |
| 2015-10-15 | Change semantics of str.substr to allow endpoint out of bounds, and return em... | ajreynol |
| 2015-10-13 | remove options infrastructure code which depended on undefined behavior | Kshitij Bansal |
| 2015-07-20 | Squashed merge of SygusComp 2015 branch. | ajreynol |
| 2015-06-30 | fix smt2 parameterized sort printing | Kshitij Bansal |
| 2015-06-12 | Make sygus an output language. Parse declare-fun in sygus. Minor improvemen... | ajreynol |
| 2015-04-28 | Fix smt2 printing of fun-def. Simplification of mbqi interface. | ajreynol |
| 2015-04-21 | Changes needed to compile at Google, plus some bug fixes from Google. | Clark Barrett |
| 2015-03-28 | printer change for string smtlib2 | Tianyi Liang |
| 2015-01-19 | Adding tests for get-value output for arithmetic. | Tim King |
| 2015-01-11 | adjusted to both v2.0 and v2.5 string literals | Tianyi Liang |
| 2015-01-09 | blocked unprintable characters in string literals; | Tianyi Liang |
| 2015-01-08 | switch ascii encoding to unsigned char | Tianyi Liang |
| 2014-12-06 | Added C++/Java api examples; | Tianyi Liang |
