You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
The all_cairo layout has a range_check builtin and a range_check96 which differ by the value of the upper bound. Both should be implemented. Adapt the current rangeCheckHandler to take as parameter the exponent $x$ of the bound: $\text{rcBound} = 2^x$, with $x = 128$ or $x = 96$
The text was updated successfully, but these errors were encountered:
The$x$ of the bound:
$\text{rcBound} = 2^x$ , with $x = 128$ or $x = 96$
all_cairo
layout has a range_check builtin and a range_check96 which differ by the value of the upper bound. Both should be implemented. Adapt the currentrangeCheckHandler
to take as parameter the exponentThe text was updated successfully, but these errors were encountered: