fix tied input-output equivalence checking
authorJacob Lifshay <programmerjake@gmail.com>
Thu, 3 Nov 2022 07:48:39 +0000 (00:48 -0700)
committerJacob Lifshay <programmerjake@gmail.com>
Thu, 3 Nov 2022 07:48:39 +0000 (00:48 -0700)
commit40e905c57312fca88e0c1c875de567fe0a3479da
tree421469e9010b97ee120d7dbea6a55a19656a596d
parent3224f08298e1d6371649783c33b3a77174d1de70
fix tied input-output equivalence checking
src/bigint_presentation_code/compiler_ir2.py