projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 4956453) | patch
Throw logic exception for set.map (#8403)
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Sat, 26 Mar 2022 02:51:29 +0000 (21:51 -0500)
committerGitHub <noreply@github.com>
Sat, 26 Mar 2022 02:51:29 +0000 (02:51 +0000)
commitaba70eb79f255582aa5c254518b3731f284ad0c4
tree7f564c1debd4841bb978792d587237142a35a581tree
parent4956453dda9d055a3fc4d65ffc964c7cf22d825bcommit | diff
Throw logic exception for set.map (#8403)

Support parsing/rewriting, but not solving currently.
src/theory/sets/theory_sets_private.cpp diff | blob | history