search

0xPolygonMiden / miden-vm

STARK-based virtual machine
MIT License
630 stars 160 forks source link

Fix `Smt` empty leaf check #1228

Closed plafer closed 9 months ago

plafer commented 9 months ago

Fixes an issue where we didn't do the right thing when removing a value from a key that has an empty value associated with, but maps to a Single leaf

plafer commented 9 months ago

Agreed - for the cycle count, I changed it to "X cycles" so that I remember to go back and fix it