projects / cvc5.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
Only allow bv2nat/int2bv with BV and integer logic (#4118)
[cvc5.git] / test / regress / regress0 / smtlib /
2020-03-16 Andres NoetzliCreate master equality engine at context level 0 (... tree | commitdiff
2020-03-12 Aina NiemetzNew C++ API: Remove support for (reset). (#4037) tree | commitdiff
2020-03-11 Andres Noetzlireset-assertions: Update TheoryEngine's PropEngine... tree | commitdiff
2020-03-10 Aina NiemetzFix issue with reset-assertions. (#3988) tree | commitdiff
2020-03-06 Andrew ReynoldsRemove tester name from APIs (#3929) tree | commitdiff
2019-11-13 Andres NoetzliAllow (set-logic ...) after (reset) (#3457) tree | commitdiff
2019-10-27 Andres NoetzliFix global-declarations support (#3403) tree | commitdiff
2019-06-04 Andres NoetzliAdd check that result matches benchmark status (#3028) tree | commitdiff
2018-10-22 Andres NoetzliRecover from wrong use of get-info :reason-unknown... tree | commitdiff
2018-08-14 Andres NoetzliFix get-unsat-assumptions output (#2301) tree | commitdiff