projects
/
cvc5.git
/ history
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
first ⋅ prev ⋅ next
Add method to get leaves of a NodeTrie (#8583)
[cvc5.git]
/
README.md
2022-03-30
Mathias Preiner
Rename master branch to main. (#8452)
blob
|
commitdiff
|
raw
2021-11-30
Mathias Preiner
Change CVC4 urls to cvc5. (#7706)
blob
|
commitdiff
|
raw
|
diff to current
2021-11-04
Gereon Kremer
Fix links in README.md (#7568)
blob
|
commitdiff
|
raw
|
diff to current
2021-09-21
Aina Niemetz
README: Fix link to INSTALL.rst. (#7222)
blob
|
commitdiff
|
raw
|
diff to current
2021-05-06
Mathias Preiner
Update README.md and remove last CVC4 references. ...
blob
|
commitdiff
|
raw
|
diff to current
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