projects / cvc5.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Floating point theory solver based on SymFPU (#1895)
[cvc5.git] / src / theory / sets /
2018-05-04 Andrew ReynoldsSets subtypes (#1095) tree | commitdiff
2018-03-07 Mathias PreinerMake statistics output consistent. (#1647) tree | commitdiff
2018-03-05 Mathias PreinerEnable -Wsuggest-override by default. (#1643) tree | commitdiff
2018-02-06 Tim KingResolving warnings from -Winconsistent-missing-override... tree | commitdiff
2018-01-10 Tim KingRemoving throw specifiers for TypeRules. (#1501) tree | commitdiff
2018-01-10 Tim KingRemoving throw specifiers from type enumerators. (... tree | commitdiff
2017-12-08 Andrew ReynoldsMake collect model info return a Bool (#1421) tree | commitdiff
2017-12-06 Andres NoetzliRemove CDChunkList (#1414) tree | commitdiff
2017-10-17 Tim KingFixing 2 instances of an unused variable. (#1253) tree | commitdiff
2017-09-10 Andrew ReynoldsEnsure that expand definitions is called on all non... tree | commitdiff
2017-07-21 Tim KingMerge branch 'master' into cleanup-regexp tree | commitdiff
2017-07-21 Tim KingMoving from the gnu extensions for hash maps to the... tree | commitdiff
2017-07-17 Tim KingMerge branch 'master' into cleanup-regexp tree | commitdiff
2017-07-14 Tim KingRemoving BOOST_FOREACH usage. tree | commitdiff
2017-07-13 Aina NiemetzMerge pull request #188 from aniemetz/cx11 tree | commitdiff
2017-07-12 ajreynolMake type rules more strict for operators whose type... tree | commitdiff
2017-07-10 ajreynolMerge datatype shared selectors/sygus comp 2017 branch... tree | commitdiff
2017-07-07 Mathias PreinerUpdate copyright headers. tree | commitdiff
2017-07-07 Mathias PreinerUse new copyright header format. tree | commitdiff
2017-06-30 ajreynolMinor change to trigger selection, fixes related to... tree | commitdiff
2017-05-17 Clark BarrettMerge pull request #155 from makaimann/conditional_coverage tree | commitdiff
2017-05-16 Clark BarrettMerge pull request #161 from 4tXJ7f/fix_parser tree | commitdiff
2017-05-16 Andrew ReynoldsMerge pull request #156 from 4tXJ7f/fix_safe_print tree | commitdiff
2017-05-15 Andrew ReynoldsMerge pull request #159 from 4tXJ7f/fix_set_types tree | commitdiff
2017-05-15 Andres NoetzliFix type checks for relation operators tree | commitdiff
2017-05-15 Andrew ReynoldsMerge pull request #158 from 4tXJ7f/fix_sets_rewriter tree | commitdiff
2017-05-15 Andres NoetzliFix minor bug in sets rewriter tree | commitdiff
2017-05-15 Andrew ReynoldsMerge pull request #157 from 4tXJ7f/fix_iterator tree | commitdiff
2017-05-15 Andres NoetzliFix condition in upwards closure check for sets tree | commitdiff
2017-05-05 ajreynolFix error message. tree | commitdiff
2017-04-21 Clark BarrettMerge pull request #150 from 4tXJ7f/check_exceptions2 tree | commitdiff
2017-04-21 ajreynolHandle subtypes in sets. Bug fixes for tuples with... tree | commitdiff
2017-04-20 Andrew ReynoldsMerge pull request #149 from PaulMeng/master tree | commitdiff
2017-04-20 Paul MengSupport for relational operators identity and join... tree | commitdiff
2017-04-19 ajreynolFixes for handling set universe: restrict upwards rule... tree | commitdiff
2017-04-14 ajreynolActively split for upwards closusure intersection.... tree | commitdiff
2017-04-14 ajreynolFix nullary operator printers, minor. tree | commitdiff
2017-04-12 ajreynolAdd nullary operator metakind. tree | commitdiff
2017-04-04 ajreynolSimplify Theory::collectModelInfo interface to not... tree | commitdiff
2017-03-29 PaulMengMerge pull request #138 from PaulMeng/master tree | commitdiff
2017-03-29 Paul MengRefactor the standard effort of relational solver tree | commitdiff
2017-03-21 ajreynolImprove computeCareGraph functions to check shared... tree | commitdiff
2017-03-07 ajreynolMore fixes for printing/parsing sets, fix kind name. tree | commitdiff
2017-03-06 ajreynolDo not eagerly construct explanations in relation solver. tree | commitdiff
2017-03-06 ajreynolSupport for set compliment and universe set. Simplify... tree | commitdiff
2017-03-03 ajreynolFix for collectModelInfo related to finite types +... tree | commitdiff
2017-03-03 ajreynolAnother minor fix for sets related to sharing + finite... tree | commitdiff
2017-03-02 ajreynolFixes related to sets. tree | commitdiff
2017-03-02 ajreynolEliminate Boolean term conversion. Generalizes removeIT... tree | commitdiff
2017-02-16 ajreynolMinor fixes for relations, quantifiers dsplit. tree | commitdiff
2017-02-16 ajreynolFixes for sets+rels check. Minor. tree | commitdiff
2017-02-07 ajreynolGeneralize finite bound inference to unifiable variable... tree | commitdiff
2017-01-18 Andrew ReynoldsMerge pull request #128 from 4tXJ7f/fix_lfsc_perf tree | commitdiff
2017-01-18 ajreynolMinor fix in relations. tree | commitdiff
2017-01-14 Clark BarrettMerge pull request #130 from chadbrewbaker/master tree | commitdiff
2017-01-11 Clark BarrettMerge pull request #129 from timothy-king/regression... tree | commitdiff
2017-01-11 Clark BarrettMerge pull request #131 from makaimann/fix_702 tree | commitdiff
2017-01-11 ajreynolFix for when variables are (partially) bound in multipl... tree | commitdiff
2017-01-06 ajreynolMinor fix for sets. tree | commitdiff
2016-12-07 ajreynolAdded cardinality to cvc language, fixes bug 753. Throw... tree | commitdiff
2016-12-06 ajreynolImprove bounds for global heap in sep, refactor preproc... tree | commitdiff
2016-11-16 Clark BarrettMerge pull request #108 from timothy-king/smt2-parser... tree | commitdiff
2016-11-16 PaulMengMerge pull request #109 from PaulMeng/master tree | commitdiff
2016-11-15 Paul Mengrelational solver code refactor and bug fixes tree | commitdiff
2016-11-09 Tim KingMerge branch 'master' into uniq-ptr tree | commitdiff
2016-11-08 ajreynolAdd a few options to separation logic and sets. Minor... tree | commitdiff
2016-11-01 ajreynolFix memory leak in TheorySetsRels. Minor cleanup. tree | commitdiff
2016-10-26 Andrew ReynoldsMerge pull request #98 from 4tXJ7f/fix_dist_build tree | commitdiff
2016-10-26 ajreynolNew implementation of sets+cardinality. Merge Paul... tree | commitdiff
2016-10-13 Tim KingRevert "Merge branch 'origin' of https://github.com... tree | commitdiff
2016-10-11 Paul MengMerge branch 'origin' of https://github.com/CVC4/CVC4.git tree | commitdiff
2016-10-11 Paul Meng- fixed a memory leak issue with context dependent... tree | commitdiff
2016-10-01 Tim KingMerge pull request #93 from timothy-king/clang-format tree | commitdiff
2016-09-28 Kshitij BansalFix the merge of kbansal/card branch (2039eab). tree | commitdiff
2016-09-26 Tim KingDeleting a temporary in theory sets enumerator. tree | commitdiff
2016-09-23 Paul Mengfixed a few bugs tree | commitdiff
2016-09-14 ajreynolLemma cache in theory sep. Minor optimization for sets... tree | commitdiff
2016-09-13 Paul Mengfixed type checking and computing for PRODUCT and JOIN tree | commitdiff
2016-09-13 Paul Mengrefactored the code, added more benchmarks and minor... tree | commitdiff
2016-09-12 Paul Mengfixed capitalized "kind" tree | commitdiff
2016-08-31 Tim KingCleaning up the dead FORIT macros. tree | commitdiff
2016-08-31 Tim KingRemoving the usage of typeof from theory_sets_private. tree | commitdiff
2016-08-31 Tim KingRemoving BOOST_FOREACH from theory/sets/scrutinize.h. tree | commitdiff
2016-08-31 Tim KingRemoving typeof from sets normal form and beautifying... tree | commitdiff
2016-08-30 Paul MengComputed members for tp and product rels even they... tree | commitdiff
2016-08-30 Paul Mengalso computed members for relations that do not have... tree | commitdiff
2016-08-30 Paul Mengmore fix for TC inference tree | commitdiff
2016-08-30 Paul Mengfixed TC inference from graph constructed from a relati... tree | commitdiff
2016-08-26 PaulMengminor fix tree | commitdiff
2016-08-24 PaulMengMerge remote-tracking branch 'origin/master' tree | commitdiff
2016-07-28 Paul Mengfixed construction of TC graph tree | commitdiff
2016-07-28 PaulMengfixed construction of TC graph tree | commitdiff
2016-07-24 PaulMengmore code refactor tree | commitdiff
2016-07-24 Paul Mengmore code refactor tree | commitdiff
2016-07-23 Paul Mengrefactored code tree | commitdiff
2016-07-20 PaulMengbug fixes for reachablity check tree | commitdiff
2016-07-12 Paul Mengadded support for expansion of transitive closure tree | commitdiff
2016-07-05 PaulMengresolved merge conflicts tree | commitdiff
2016-07-05 PaulMengMerge branch 'master' of https://github.com/CVC4/CVC4.git tree | commitdiff
2016-07-05 PaulMengfixes bugs in std effort for TC tree | commitdiff
next