/jar2bpl

Translate java jar files into Boogie programs

Primary LanguageJavaMIT LicenseMIT

Stargazers