projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: f6034c8) | patch
Fix tuple printing in LFSC (#8696)
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Mon, 2 May 2022 00:32:32 +0000 (19:32 -0500)
committerGitHub <noreply@github.com>
Mon, 2 May 2022 00:32:32 +0000 (19:32 -0500)
commit68b6948dcf2bc1b0d4f08f038aa18a31c3857b57
tree7101e75aaa72b7d350b96d9f7f70c7492f432456tree
parentf6034c8ede6e9b81f4eb8729594301a8ff3982ffcommit | diff
Fix tuple printing in LFSC (#8696)

We weren't collecting them as user-defined types after the recent refactor to Tuples.
src/proof/lfsc/lfsc_node_converter.cpp diff | blob | history
src/proof/lfsc/lfsc_node_converter.h diff | blob | history