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
This is apparently not tested anywhere, since I delete the UltraHonk gates command and nothing broke. gates_for_ivc does get called, so it exists under OLD_API, but probably it should just be under the gates command of ClientIVCAPI when particular flag values are used.
The text was updated successfully, but these errors were encountered:
The task here is to port the "gates" command for UH (currently accessible via bb OLD_API gates -b target/sample.json) to the new CLI format, i.e. remove the need to specify OLD_API
This is apparently not tested anywhere, since I delete the UltraHonk gates command and nothing broke.
gates_for_ivc
does get called, so it exists underOLD_API
, but probably it should just be under the gates command ofClientIVCAPI
when particular flag values are used.The text was updated successfully, but these errors were encountered: