projects / cvc5.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Lazy proof reconstruction for strings theory solver (#7096)
[cvc5.git] / src / theory / strings / sequences_stats.cpp
2021-09-01 Andrew ReynoldsLazy proof reconstruction for strings theory solver... blob | commitdiff | raw
2021-04-14 Gereon KremerRefactor / reimplement statistics (#6162) blob | commitdiff | raw | diff to current
2021-04-12 Aina NiemetzRefactor and update copyright headers. (#6316) blob | commitdiff | raw | diff to current
2021-04-01 Aina NiemetzRename namespace CVC5 to cvc5. (#6258) blob | commitdiff | raw | diff to current
2021-03-31 Aina NiemetzRename namespace CVC4 to CVC5. (#6249) blob | commitdiff | raw | diff to current
2021-03-16 Andrew ReynoldsFurther standardization of strings statistics (#6128) blob | commitdiff | raw | diff to current
2021-03-09 Aina NiemetzUpdate copyright headers to 2021. (#6081) blob | commitdiff | raw | diff to current
2021-02-19 Andrew ReynoldsRemove string stat for inferences (#5932) blob | commitdiff | raw | diff to current
2020-10-29 Andrew Reynolds(proof-new) Update the strings inference manager for... 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
2020-09-22 Mathias PreinerUpdate copyright header script to support CMake and... blob | commitdiff | raw | diff to current
2020-06-16 Aina NiemetzUpdate copyright headers. blob | commitdiff | raw | diff to current
2020-04-10 Andrew ReynoldsAdd a few stats to strings (#4252) blob | commitdiff | raw | diff to current
2020-04-03 Andres NoetzliUpdate theory rewriter ownership, add stats to strings... blob | commitdiff | raw | diff to current
2020-04-02 Andrew ReynoldsIntroduce enums for all string inferences, excluding... blob | commitdiff | raw | diff to current
2020-03-26 Andrew ReynoldsAdd stats for string reductions, lemmas and conflicts... blob | commitdiff | raw | diff to current
2020-03-23 Andres NoetzliCollect statistics about normal form inferences (#4127) blob | commitdiff | raw | diff to current