GitHub repository: viperproject/prusti-viper
Primary language: Rust
Created: 2018-01-18T10:43:19Z
Description: Translation of MIR into Viper