search

alegnani / pancake-verifier

2 stars 0 forks source link

added field accesses to annotations #21

Closed alegnani closed 1 month ago

alegnani commented 1 month ago

fixes #13