projects
/
cvc5.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅ next
Use rewriteViaMethod instead of accessing builtin proof checker (#7146)
[cvc5.git]
/
README.md
2021-05-06
Mathias Preiner
Update README.md and remove last CVC4 references. ...
blob
|
commitdiff
|
raw
2021-04-21
Mathias Preiner
Goodbye CVC4, hello cvc5! (#6371)
blob
|
commitdiff
|
raw
|
diff to current
2020-03-31
Mathias Preiner
Switch to GitHub actions for CI (#4190)
blob
|
commitdiff
|
raw
|
diff to current
2020-03-30
Mathias Preiner
Add coverage badge. (#4187)
blob
|
commitdiff
|
raw
|
diff to current
2019-11-11
yoni206
Update README according to the new website (#3438)
blob
|
commitdiff
|
raw
|
diff to current
2019-04-24
Aina Niemetz
README: Remove project leaders, history.
blob
|
commitdiff
|
raw
|
diff to current
2019-04-22
Aina Niemetz
Add CONTRIBUTING file. (#2968)
blob
|
commitdiff
|
raw
|
diff to current
2019-04-09
Haniel Barbosa
Removing references to cvc4-bugs@... (#2945)
blob
|
commitdiff
|
raw
|
diff to current
2019-04-09
Aina Niemetz
Fix email address of the bugs email list and delete...
blob
|
commitdiff
|
raw
|
diff to current
2019-01-22
Aina Niemetz
New README (markdown). (#2797)
blob
|
commitdiff
|
raw
|
diff to current