projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 0a60767) | patch
[API] Add `{is,get}RoundingModeValue()` (#8429)
authorAndres Noetzli <andres.noetzli@gmail.com>
Tue, 29 Mar 2022 14:43:02 +0000 (07:43 -0700)
committerGitHub <noreply@github.com>
Tue, 29 Mar 2022 14:43:02 +0000 (14:43 +0000)
commitf02b9bca33f9092c6d793e977326acc315f3b073
tree48e04892e38dfeddd0b2ea88ac3ffb16cc205fbetree
parent0a6076715b1d290b58b99cdaa0014d30d4d8308fcommit | diff
[API] Add `{is,get}RoundingModeValue()` (#8429)

It also fixes a wrong entry in s_rmodes_internal.
src/api/cpp/cvc5.cpp diff | blob | history
src/api/cpp/cvc5.h diff | blob | history
src/api/java/io/github/cvc5/api/Term.java diff | blob | history
src/api/java/jni/term.cpp diff | blob | history
src/api/python/cvc5.pxd diff | blob | history
src/api/python/cvc5.pxi diff | blob | history
test/unit/api/cpp/term_black.cpp diff | blob | history
test/unit/api/java/TermTest.java diff | blob | history
test/unit/api/python/test_term.py diff | blob | history