projects / cvc5.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Statistics on instantiations per quantified formula. (#4719)
[cvc5.git] / src / theory / trust_node.cpp
2020-06-22 Andrew Reynolds(proof-new) Add REWRITE trust node kind. (#4624) blob | commitdiff | raw
2020-06-16 Aina NiemetzUpdate copyright headers. blob | commitdiff | raw | diff to current
2020-06-09 Andrew Reynolds(proof-new) Add trust node utility (#4588) blob | commitdiff | raw | diff to current