2020-06-16 | Aina Niemetz | Update copyright headers. | blob | commitdiff | raw |
2019-11-18 | Andres Noetzli | Use -Wimplicit-fallthrough (#3464) | blob | commitdiff | raw | diff to current |
2019-10-30 | Mathias Preiner | Unify CVC4_CHECK/CVC4_DCHECK/AlwaysAssert/Assert. ... | blob | commitdiff | raw | diff to current |