projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 4a388e0) | patch
Update NEWS for cvc5 1.0. (#8460)
authorMathias Preiner <mathias.preiner@gmail.com>
Tue, 5 Apr 2022 20:08:27 +0000 (13:08 -0700)
committerGitHub <noreply@github.com>
Tue, 5 Apr 2022 20:08:27 +0000 (20:08 +0000)
commit2a1fa5d6732600b0e675539d4dcd95f57b1577a8
tree832c3e6ddc570b9b8bbd0300c11cbfe864fb0e13tree
parent4a388e0b0cfb872e6bb8e8024542ba20aa9f3002commit | diff
Update NEWS for cvc5 1.0. (#8460)

Co-authored-by: Andrew Reynolds <andrew.j.reynolds@gmail.com>
Co-authored-by: Gereon Kremer <nafur42@gmail.com>
Co-authored-by: mudathirmahgoub <mudathirmahgoub@gmail.com>
Co-authored-by: Andres Noetzli <andres.noetzli@gmail.com>
NEWS [deleted file] blob | history
NEWS.md [new file with mode: 0644] blob