Sif extensions - Code Review

marcoeilers / nagini

Nagini is a static verifier for Python 3, based on the Viper verification infrastructure.

Mozilla Public License 2.0

233 stars 8 forks source link

Closed meiersev closed 6 years ago

meiersev commented 6 years ago

support for extended AST (coupled with silver-ast extensions https://bitbucket.org/meilers/silver-sif/commits/branch/sif-extensions)
return, continue, break, statement translation

Note: this is a request for code review, no need to pull to master

This change is