harb/tools/push3-transpiler
openhands 403a304c98 fix: tighten stack-depth guard to !== 4 to catch overflow (#584)
Reviewer noted that `< 4` only catches underflow; programs leaving 5+
values on the DYADIC stack silently passed isValid().  Change the guard
to `!== 4` so both under- and overflow are rejected, matching the
documented 'exactly 4 outputs' contract.

Co-Authored-By: Claude Sonnet 4.6 <noreply@anthropic.com>
2026-03-12 14:48:15 +00:00
..
src fix: tighten stack-depth guard to !== 4 to catch overflow (#584) 2026-03-12 14:48:15 +00:00
optimizer_seed.push3 fix: Push3 optimizer: dyadic rational input interface (8 slots) + 4-output redesign (#548) 2026-03-11 15:23:36 +00:00
optimizer_v3.push3 fix: Push3 optimizer: dyadic rational input interface (8 slots) + 4-output redesign (#548) 2026-03-11 15:23:36 +00:00
package-lock.json feat: Push3 → Solidity transpiler + OptimizerV3 port 2026-02-23 14:47:38 +00:00
package.json feat: Push3 → Solidity transpiler + OptimizerV3 port 2026-02-23 14:47:38 +00:00
tsconfig.json feat: Push3 → Solidity transpiler + OptimizerV3 port 2026-02-23 14:47:38 +00:00