projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 80b0795) | patch
Changing default language (#4561)
authorHaniel Barbosa <hanielbbarbosa@gmail.com>
Fri, 5 Jun 2020 14:10:34 +0000 (11:10 -0300)
committerGitHub <noreply@github.com>
Fri, 5 Jun 2020 14:10:34 +0000 (11:10 -0300)
commit7aa98fa461932db12c05820e685772d2aa983993
treebf015b4e77c6d2834bf5679d2bd596274c4c749atree
parent80b0795702e71d54ed7c17ba809eebde628eb516commit | diff
Changing default language (#4561)

Useful to avoid issues when a language is not set and it cannot be easily inferred (for example via the API). Since the language that covers most operators in CVC4 is the SMT one we use that as default now.
NEWS diff | blob | history
src/printer/printer.cpp diff | blob | history
test/unit/api/solver_black.h diff | blob | history