harb/tools/push3-transpiler
openhands 6a55c37b20 fix: mutate.test.ts: pre-existing \isValid > stack underflow\ failure (#810)
dpop/bpop silently returned '0'/'false' on stack underflow instead of
throwing, so isValid() never returned false for underflowing programs.
Make dpop and bpop throw an Error on underflow so the transpiler's
existing try/catch in isValid() correctly classifies such programs as
invalid. The output-extraction phase uses state.dStack.pop() directly
(not dpop) and is unaffected.

Co-Authored-By: Claude Sonnet 4.6 <noreply@anthropic.com>
2026-03-15 23:49:55 +00:00
..
src fix: mutate.test.ts: pre-existing \isValid > stack underflow\ failure (#810) 2026-03-15 23:49:55 +00:00
inject.sh chore: extract shared inject.sh, add red-team-sweep.sh (#806) 2026-03-15 10:24:03 +01: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