summaryrefslogtreecommitdiff
path: root/src/theory/arrays/kinds
AgeCommit message (Expand)Author
2021-05-24More precise includes of `Node` constant classesAndres Noetzli
2021-04-01Rename namespace CVC5 to cvc5. (#6258)Aina Niemetz
2021-03-31Rename namespace CVC4 to CVC5. (#6249)Aina Niemetz
2020-08-21Remove spurious theory methods calls (#4931)Andrew Reynolds
2020-06-23Add support for eqrange predicate (#4562)Mathias Preiner
2018-09-19Decision strategy: incorporate arrays. (#2495)Andrew Reynolds
2018-03-06Make statistics output consistent. (#1647)Mathias Preiner
2016-04-20update from the masterPaulMeng
2015-12-14Refactoring Options Handler & Library Cycle BreakingTim King
2014-07-12Fix a bug in Boolean terms and arrays. Thanks to Jean-Christophe Filliatre f...Morgan Deters
2014-06-21Slightly-improved kinds documentation for builtin, Boolean, arrays, strings, ...Morgan Deters
2012-12-01drastic simplification of quantifiers code regarding equality queries, instan...Andrew Reynolds
2012-11-30Changing the documentation of ARR_TABLE_FUN to say (internal symbol).Tim King
2012-08-28Improved compatibility layer, now supports quantifiers. Also incorporatesMorgan Deters
2012-08-16Replace propagateAsDecision() with Theory::getNextDecisionRequest():Morgan Deters
2012-08-07Some items from the CVC4 public interface review:Morgan Deters
2012-08-03the array-store "construle" for isConstMorgan Deters
2012-08-03ArrayStoreAll infrastructureMorgan Deters
2012-07-14Type enumerator infrastructure and uninterpreted constant support. No suppor...Morgan Deters
2012-06-11Merge from quantifiers2-trunkmerge branch.Morgan Deters
2012-04-11merge from arrays-clark branchMorgan Deters
2011-09-02Merge from my post-smtcomp branch. Includes:Morgan Deters
2011-05-23Merge from arrays2 branch.Morgan Deters
2011-04-25Monday tasks:Morgan Deters
2011-04-25Weekend work. The main points:Morgan Deters
2011-01-05Commit for the theory engine and rewriter changes. Changes are substantial an...Dejan Jovanović
2010-10-05parser and core support for SMT-LIBv2 commands get-info, set-option, get-opti...Morgan Deters
2010-06-30* theory "tree" rewriting implemented and worksMorgan Deters
2010-06-14Adding array select/store to SMT v1 and v2 parsersChristopher L. Conway
2010-03-30Highlights of this commit are:Morgan Deters
2010-03-25new domain-specific language for kinds files: permits characterization of dif...Morgan Deters
2010-02-26* test/unit/context/context_black.h: Test CDList<>. In particular,Morgan Deters
generated by cgit on debian on lair
contact matthew@masot.net with questions or feedback