Address potential security bug and improve testing for the logic constraint function#348

Merged

maramihali merged 3 commits into

mm/logic-constraints

Apr 25, 2023

Commits on Apr 25, 2023

add constraints to ensure that the result of the logic constraint is
maramihali
committed
fixed error where applying copy constraints to range-constrained indices would create an unbalanced set membership check

zac-williamson
authored and
maramihali
committed
improve documentation and fix issue in non-ultra variants of the
maramihali
committed