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

[cvc5.git] / src / theory / strings / inference_manager.h

2020-10-29	Andrew Reynolds	(proof-new) Update the strings inference manager for...	blob \| commitdiff \| raw
2020-09-22	Mathias Preiner	Update copyright header script to support CMake and...	blob \| commitdiff \| raw \| diff to current
2020-08-31	Andrew Reynolds	(new theory) Update TheoryStrings to new standard ...	blob \| commitdiff \| raw \| diff to current
2020-08-17	Andrew Reynolds	(proof-new) Prepare the theory of strings for proof...	blob \| commitdiff \| raw \| diff to current
2020-06-16	Aina Niemetz	Update copyright headers.	blob \| commitdiff \| raw \| diff to current
2020-04-20	Andrew Reynolds	Refactor inference manager in strings to be amenable...	blob \| commitdiff \| raw \| diff to current
2020-04-18	Andrew Reynolds	Track inference id for pending facts in strings (#4331)	blob \| commitdiff \| raw \| diff to current
2020-04-16	Andrew Reynolds	Eliminate remaining references to parent TheoryStrings...	blob \| commitdiff \| raw \| diff to current
2020-04-15	Andrew Reynolds	Split TermRegistry object from TheoryStrings (#4312)	blob \| commitdiff \| raw \| diff to current
2020-04-15	Andrew Reynolds	Convert more cases of strings to words (#4206)	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-06	Andres Noetzli	Refactor disequality processing in string solver (...	blob \| commitdiff \| raw \| diff to current
2020-03-26	Andrew Reynolds	Add stats for string reductions, lemmas and conflicts...	blob \| commitdiff \| raw \| diff to current
2020-03-23	Andres Noetzli	Collect statistics about normal form inferences (#4127)	blob \| commitdiff \| raw \| diff to current
2020-02-15	Andrew Reynolds	Move proxy variables to InferenceManager in strings...	blob \| commitdiff \| raw \| diff to current
2020-01-30	Andrew Reynolds	Minor updates to string utilities (#3675)	blob \| commitdiff \| raw \| diff to current
2019-11-06	Andrew Reynolds	Move more string utility functions (#3398)	blob \| commitdiff \| raw \| diff to current
2019-10-16	Andrew Reynolds	Solver state for theory of strings (#3181)	blob \| commitdiff \| raw \| diff to current
2019-07-25	Andrew Reynolds	Split infer info data structure in strings (#3107)	blob \| commitdiff \| raw \| diff to current
2019-07-06	Andrew Reynolds	Refactor strings to use an inference manager object...	blob \| commitdiff \| raw \| diff to current

RSS Atom