Skip to content

Fix imposing more universe constraints than Iris

Ike Mulder requested to merge ci/fix_universe_constraints into master

Previously, Diaframe imposed bi.Logic = bi.Quant (as well as bi.Quant <= prod.u0, when importing symb_exec/defs.v).

This MR should fix that.

Merge request reports