search

Quantomatic / zxlive

A graphical tool for the ZX calculus
Apache License 2.0
44 stars 14 forks source link

Changing the variable type in the sidebar does not change the actual type of the variable which is part of Poly #201

Closed RazinShaikh closed 6 months ago

RazinShaikh commented 6 months ago

As a result, all Boolean symbolic rewrites are broken.

jvdwetering commented 6 months ago

Fixed by 1a4d71e