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

2021-04-01	Aina Niemetz	Rename namespace CVC5 to cvc5. (#6258)	blob \| commitdiff \| raw
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-26	Andrew Reynolds	(proof-new) Fix regular expression unfolding under...	blob \| commitdiff \| raw \| diff to current
2021-02-11	Gereon Kremer	Add InferenceId member to TheoryInference, adapt all...	blob \| commitdiff \| raw \| diff to current
2021-02-11	Gereon Kremer	Merge InferenceIds into one enum (#5892)	blob \| commitdiff \| raw \| diff to current
2021-01-08	mudathirmahgoub	Rename getAntecedent to getPremises (#5754)	blob \| commitdiff \| raw \| diff to current
2020-12-03	Aina Niemetz	Update copyright headers.	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-10-07	Andrew Reynolds	(proof-new) Add the strings proof constructor (#4903)	blob \| commitdiff \| raw \| diff to current