Age | Commit message (Expand) | Author |
2017-07-20 | Moving from the gnu extensions for hash maps to the c++11 hash maps | Tim King |
2017-07-14 | Removing BOOST_FOREACH usage. | Tim King |
2017-07-12 | Make type rules more strict for operators whose type rules involve subtypes. ... | 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-07 | Use new copyright header format. | Mathias Preiner |
2017-06-30 | Minor change to trigger selection, fixes related to subtypes (in macros, cbqi... | ajreynol |
2017-05-15 | Merge pull request #159 from 4tXJ7f/fix_set_types | Andrew Reynolds |
2017-05-15 | Fix type checks for relation operators | Andres Noetzli |
2017-05-15 | Fix minor bug in sets rewriter | Andres Noetzli |
2017-05-15 | Fix condition in upwards closure check for sets | Andres Noetzli |
2017-05-05 | Fix error message. | ajreynol |
2017-04-21 | Handle subtypes in sets. Bug fixes for tuples with subtypes. | ajreynol |
2017-04-20 | Support for relational operators identity and join image | Paul Meng |
2017-04-19 | Fixes for handling set universe: restrict upwards rule for universe to member... | ajreynol |
2017-04-14 | Actively split for upwards closusure intersection. Minor clean up, add regres... | ajreynol |
2017-04-14 | Fix nullary operator printers, minor. | ajreynol |
2017-04-12 | Add nullary operator metakind. | ajreynol |
2017-04-04 | Simplify Theory::collectModelInfo interface to not take deprecated fullModel ... | ajreynol |
2017-03-28 | Refactor the standard effort of relational solver | Paul Meng |
2017-03-21 | Improve computeCareGraph functions to check shared term equality status once ... | ajreynol |
2017-03-07 | More fixes for printing/parsing sets, fix kind name. | ajreynol |
2017-03-06 | Do not eagerly construct explanations in relation solver. | ajreynol |
2017-03-06 | Support for set compliment and universe set. Simplify approach for sep.nil no... | ajreynol |
2017-03-03 | Fix for collectModelInfo related to finite types + preregistration. Generaliz... | ajreynol |
2017-03-03 | Another minor fix for sets related to sharing + finite element types. | ajreynol |
2017-03-02 | Fixes related to sets. | ajreynol |
2017-03-02 | Eliminate Boolean term conversion. Generalizes removeITE pass to remove Boole... | ajreynol |
2017-02-16 | Minor fixes for relations, quantifiers dsplit. | ajreynol |
2017-02-16 | Fixes for sets+rels check. Minor. | ajreynol |
2017-02-07 | Generalize finite bound inference to unifiable variables in set membership li... | ajreynol |
2017-01-18 | Minor fix in relations. | ajreynol |
2017-01-11 | Fix for when variables are (partially) bound in multiple ways, add regression... | ajreynol |
2017-01-06 | Minor fix for sets. | ajreynol |
2016-12-07 | Added cardinality to cvc language, fixes bug 753. Throw logic exception when ... | ajreynol |
2016-12-06 | Improve bounds for global heap in sep, refactor preprocessing. Minor improvem... | ajreynol |
2016-11-14 | relational solver code refactor and bug fixes | Paul Meng |
2016-11-08 | Add a few options to separation logic and sets. Minor changes to separation l... | ajreynol |
2016-11-01 | Fix memory leak in TheorySetsRels. Minor cleanup. | 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-10-11 | - fixed a memory leak issue with context dependent data structure | Paul Meng |
2016-09-28 | Fix the merge of kbansal/card branch (2039eab). | Kshitij Bansal |
2016-09-25 | Deleting a temporary in theory sets enumerator. | Tim King |
2016-09-23 | fixed a few bugs | Paul Meng |
2016-09-14 | Lemma cache in theory sep. Minor optimization for sets. Minor improvements to... | ajreynol |
2016-09-13 | fixed type checking and computing for PRODUCT and JOIN | Paul Meng |
2016-09-13 | refactored the code, added more benchmarks and minor fixes | Paul Meng |
2016-09-12 | fixed capitalized "kind" | Paul Meng |