projects / cvc5.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
[API] Support `Op::operator[]` in Java and Python (#8356)
[cvc5.git] / CONTRIBUTING.md
2021-11-30 Mathias PreinerChange CVC4 urls to cvc5. (#7706) blob | commitdiff | raw
2021-04-21 Mathias PreinerGoodbye CVC4, hello cvc5! (#6371) blob | commitdiff | raw | diff to current
2019-04-24 Clark BarrettDco fix (#2973) blob | commitdiff | raw | diff to current
2019-04-24 Aina NiemetzCONTRIBUTING: Fix project leaders link. blob | commitdiff | raw | diff to current
2019-04-22 Aina NiemetzAdd CONTRIBUTING file. (#2968) blob | commitdiff | raw | diff to current