projects / cvc5.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
[Unit Tests] Fix bags rewrite test (#7114)
[cvc5.git] / CONTRIBUTING.md
2021-04-21 Mathias PreinerGoodbye CVC4, hello cvc5! (#6371) blob | commitdiff | raw
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