git.libre-soc.org Git - cvc5.git/history - src/theory/strings/base

[cvc5.git] / src / theory / strings / base_solver.cpp

2021-08-31	Andrew Reynolds	Fix normal forms context-dependent simplification for...	blob \| commitdiff \| raw
2021-07-14	Andrew Reynolds	Fix models for sequences of infinite element type ...	blob \| commitdiff \| raw \| diff to current
2021-05-26	Andres Noetzli	More precise includes of `Node` constants (#6617)	blob \| commitdiff \| raw \| diff to current
2021-04-12	Andrew Reynolds	Fix computation of whether a type is finite (#6312)	blob \| commitdiff \| raw \| diff to current
2021-04-12	Aina Niemetz	Refactor and update copyright headers. (#6316)	blob \| commitdiff \| raw \| diff to current
2021-04-01	Aina Niemetz	Rename namespace CVC5 to cvc5. (#6258)	blob \| commitdiff \| raw \| diff to current
2021-03-31	Aina Niemetz	Rename namespace CVC4 to CVC5. (#6249)	blob \| commitdiff \| raw \| diff to current
2021-03-09	Gereon Kremer	Some more cleanup of includes (#6083)	blob \| commitdiff \| raw \| diff to current
2021-03-09	Aina Niemetz	Update copyright headers to 2021. (#6081)	blob \| commitdiff \| raw \| diff to current
2021-02-11	Gereon Kremer	Merge InferenceIds into one enum (#5892)	blob \| commitdiff \| raw \| diff to current
2020-12-08	Andrew Reynolds	Make term indices in the strings base solver aware...	blob \| commitdiff \| raw \| diff to current
2020-11-06	Andrew Reynolds	(proof-new) Miscellaneous changes to strings for proofs...	blob \| commitdiff \| raw \| diff to current
2020-09-22	Mathias Preiner	Update copyright header script to support CMake and...	blob \| commitdiff \| raw \| diff to current
2020-07-13	Andres Noetzli	Remove ExprSequence (#4724)	blob \| commitdiff \| raw \| diff to current
2020-07-01	Andrew Reynolds	Inferences and model construction taking into account...	blob \| commitdiff \| raw \| diff to current
2020-06-16	Aina Niemetz	Update copyright headers.	blob \| commitdiff \| raw \| diff to current
2020-06-12	Andrew Reynolds	(proof-new) Minor updates to strings base solver (...	blob \| commitdiff \| raw \| diff to current
2020-06-12	Andrew Reynolds	Cardinality-related inferences per type in theory of...	blob \| commitdiff \| raw \| diff to current
2020-05-26	Andrew Reynolds	Convert more uses of strings to words (#4527)	blob \| commitdiff \| raw \| diff to current
2020-04-30	Andrew Reynolds	Do not mark congruent terms are reduced (#4419)	blob \| commitdiff \| raw \| diff to current
2020-04-23	Andres Noetzli	Introduce best content heuristic for strings (#4382)	blob \| commitdiff \| raw \| diff to current
2020-04-07	Andrew Reynolds	Enum for all remaining string inferences (#4220)	blob \| commitdiff \| raw \| diff to current
2020-04-02	Andrew Reynolds	Introduce enums for all string inferences, excluding...	blob \| commitdiff \| raw \| diff to current
2020-03-26	Andrew Reynolds	Generalize more string-specific functions (#4152)	blob \| commitdiff \| raw \| diff to current
2020-03-20	Andrew Reynolds	Generalize mkConcat for types (#4123)	blob \| commitdiff \| raw \| diff to current
2020-03-20	Andrew Reynolds	Split string-specific operators from TheoryStringsRewri...	blob \| commitdiff \| raw \| diff to current
2020-03-05	Mathias Preiner	Enable -Wshadow and fix warnings. (#3909)	blob \| commitdiff \| raw \| diff to current
2020-02-22	Andrew Reynolds	Move cardinality inference scheme to base solver in...	blob \| commitdiff \| raw \| diff to current
2020-02-04	Andrew Reynolds	Split base solver from the theory of strings (#3680)	blob \| commitdiff \| raw \| diff to current

RSS Atom