summaryrefslogtreecommitdiff
Commit message (Expand)AuthorAgeFilesLines
* */*: [QA] Use consistent function definition formattingDavid Seifert2020-02-221-2/+2
* sci-mathematics/cvc4: Add cvc4 to the treeTupone Alfredo2018-07-181-0/+24