halmos icon indicating copy to clipboard operation
halmos copied to clipboard

Published 20 hours ago • verified publisher icon a16z

feat: handle concrete keccaks concretely (WIP)

Open 0xkarmacoma opened this issue 4 months ago • 5 comments

fixes https://github.com/a16z/halmos/issues/229

0xkarmacoma avatar Oct 10 '24 00:10 0xkarmacoma