projects / cvc5.git / history
? search:
summary | shortlog | log | commit | commitdiff | tree
first ⋅ prev ⋅ next
fix incorrect 64-bit detection -- powerpc64le doesn't end in 64 but is 64-bit (#8955)
[cvc5.git] / CONTRIBUTING.md
2022-03-30 Mathias PreinerRename master branch to main. (#8452) blob | commitdiff | raw
2021-11-30 Mathias PreinerChange CVC4 urls to cvc5. (#7706) blob | commitdiff | raw | diff to current
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