projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 3d429c1) | patch
Add n-ary term utilities (#6896)
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Sun, 18 Jul 2021 19:29:13 +0000 (14:29 -0500)
committerGitHub <noreply@github.com>
Sun, 18 Jul 2021 19:29:13 +0000 (19:29 +0000)
commit17fc4c975cefba7082e5557cb9c9515f16b44096
treed49330bc4df39ee220b8f92ecfeecf639f57c6f8tree
parent3d429c1187a2ac7d3270eddbbf5228002ad2740acommit | diff
Add n-ary term utilities (#6896)

Initial work towards rewrite rule reconstruction
src/expr/CMakeLists.txt diff | blob | history
src/expr/nary_term_util.cpp [new file with mode: 0644] blob
src/expr/nary_term_util.h [new file with mode: 0644] blob