projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: bed2364) | patch
[API] Update comments w.r.t. SymFPU, fix typos (#7263)
authorAndres Noetzli <andres.noetzli@gmail.com>
Wed, 29 Sep 2021 22:06:36 +0000 (15:06 -0700)
committerGitHub <noreply@github.com>
Wed, 29 Sep 2021 22:06:36 +0000 (22:06 +0000)
commit9cb5726a3a26c329ef5310b0b461b03dd0864799
tree59ee103c4682a6eca527a03fb223441a1db4a0a1tree
parentbed236463f34019a802c8f0ee66f386b77ac4446commit | diff
[API] Update comments w.r.t. SymFPU, fix typos (#7263)

Previously, SymFPU was an optional dependency but it is now required.
The comments in the API were not updated to reflect that. This commit
fixes the comments.
src/api/cpp/cvc5.h diff | blob | history