search

alegnani / pancake-verifier

1 stars 0 forks source link

Add postconditions to shared memory loads and alignment checks #40

Closed alegnani closed 6 days ago

alegnani commented 6 days ago

as discussed here