projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: b840858) | patch
Add support for operators with same payload (#8886)
authorAndres Noetzli <andres.noetzli@gmail.com>
Fri, 17 Jun 2022 19:57:24 +0000 (12:57 -0700)
committerGitHub <noreply@github.com>
Fri, 17 Jun 2022 19:57:24 +0000 (12:57 -0700)
commit45b367a0261e3d18661e046fed8add898c6d512c
tree33669893ddea96dd7a745d9ce5e79af6dab3c2ectree
parentb840858febd35dea9ca3606b8b7114395cef6f56commit | diff
Add support for operators with same payload (#8886)

This fixes an issue with supporting operators with the same payload. It
changes the API to use the `mkConst()` overload that passes an explicit
kind, which is required when the same payload is shared by multiple
kinds.
src/api/cpp/cvc5.cpp diff | blob | history