projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 4a616df) | patch
Make extended rewriter use standard Subs utility (#8682)
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Fri, 29 Apr 2022 15:22:20 +0000 (10:22 -0500)
committerGitHub <noreply@github.com>
Fri, 29 Apr 2022 15:22:20 +0000 (15:22 +0000)
commit5bfb18e0b31584a50ea0386ce3d43855ee2061d4
treec59b70d5bba0550d9c3e969655cb8ce7196ea640tree
parent4a616df6f3634350a1f53b982fb36eb5c67b66a0commit | diff
Make extended rewriter use standard Subs utility (#8682)

This is work towards ensuring all substitutions are strictly typed.
src/theory/quantifiers/extended_rewrite.cpp diff | blob | history
src/theory/quantifiers/extended_rewrite.h diff | blob | history