about summary refs log tree commit diff
path: root/third_party
diff options
context:
space:
mode:
authorAdam Joseph <adam@westernsemico.com>2023-12-15T10·50-0800
committertazjin <tazjin@tvl.su>2023-12-29T21·34+0000
commit0c22454bb93648155b8be4b45fb5d5c8f0389673 (patch)
treee968e82c352bd56e18f29dde347823b0bde2b531 /third_party
parent8a52c7f1c54937c44ed1cdb6f7e7c84070828623 (diff)
fix(tvix/eval): add stack depth assertion to OpReturn r/7271
I'm still trying to work out the exact stack invariants for tvix.
We really should add assertions for them; getting the stack messed
up is no fun.  This commit adds one simple assertion.  It also adds
a missing stack-push (my mistake) in one place, which was uncovered
by the assertion.

Change-Id: I9d8b4bd1702d954e325832c5935b0d7e3eb68422
Reviewed-on: https://cl.tvl.fyi/c/depot/+/10369
Reviewed-by: tazjin <tazjin@tvl.su>
Tested-by: BuildkiteCI
Diffstat (limited to 'third_party')
0 files changed, 0 insertions, 0 deletions