Fix annotations - Githubissues

alegnani / pancake-verifier

2 stars 0 forks source link

Closed alegnani closed 1 month ago

alegnani commented 1 month ago

[ ] fix access predicate encoding in Viper AST (currently modeled as function application)
[ ] parenthesis missing in annotation parser