projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 6ddfbe0) | patch
Fixes and additions to LFSC signature (#8205)
authorAndrew Reynolds <andrew.j.reynolds@gmail.com>
Tue, 8 Mar 2022 18:29:06 +0000 (12:29 -0600)
committerGitHub <noreply@github.com>
Tue, 8 Mar 2022 18:29:06 +0000 (18:29 +0000)
commitbeb261d1ea803818e0b33ab8f96d23f2495530a5
tree689b59397ea836db6e386bfb75adae29b46c71f0tree
parent6ddfbe07e3f855c712d86f832c1065cb082bfd1acommit | diff
Fixes and additions to LFSC signature (#8205)

Includes:

Proper printing of various FP terms and constants.
Distinguishing "variants" of overloaded symbols, in case a user declares 2 symbols with the same name.
Miscellaneous fixes for printing terms.
proofs/lfsc/signatures/theory_def.plf diff | blob | history
src/proof/lfsc/lfsc_node_converter.cpp diff | blob | history
src/proof/lfsc/lfsc_node_converter.h diff | blob | history