validate that tied outputs are equivalent to their corresponding input
authorJacob Lifshay <programmerjake@gmail.com>
Tue, 1 Nov 2022 01:51:36 +0000 (18:51 -0700)
committerJacob Lifshay <programmerjake@gmail.com>
Tue, 1 Nov 2022 01:51:36 +0000 (18:51 -0700)
commitda998d8fa19a8c888f7e55e4dd5432fb39d7167d
tree14a7bf7f5e69bfe0b34cdbd06e6600f2cd5863bb
parent1728deed181351d1031b82ec7acfa847848571bf
validate that tied outputs are equivalent to their corresponding input
src/bigint_presentation_code/compiler_ir2.py