Aurel300/prusti-dev

A static verifier for Rust, based on the Viper verification infrastructure.

RustNOASSERTION

Issues

Update ui tests to `ui_test` crate
#46 opened 2 months ago by xldenis
0
Enforce formatting in CI
#42 opened 2 months ago by xldenis
0
Option to disable typecheck errors with a flag
#48 opened 3 months ago by zgrannan
0
Order of PRs and features
#43 opened 10 months ago by Aurel300
0