Pinned Repositories
crubit
ecoop21-artifact
gradual-TEAL
Gradual Verification for Teal
gvc0
Gradually Verified C0
htlc-bugs
infer-lifetimes
Extending infer with gradual lifetime inference.
rust
Empowering everyone to build reliable and efficient software.
rust-ffi-checker
silicon-gv
silver-gv
Definition of the Viper intermediate verification language.
Gradual Verification's Repositories
gradual-verification/gvc0
Gradually Verified C0
gradual-verification/ecoop21-artifact
gradual-verification/gradual-TEAL
Gradual Verification for Teal
gradual-verification/crubit
gradual-verification/htlc-bugs
gradual-verification/infer-lifetimes
Extending infer with gradual lifetime inference.
gradual-verification/lifeline-cil
A lifetime analysis framework for C, targeting an effectful extension of Rust's lifetime annotations for explicit memory management.
gradual-verification/rust
Empowering everyone to build reliable and efficient software.
gradual-verification/rust-ffi-checker
gradual-verification/silicon-gv
gradual-verification/silver-gv
Definition of the Viper intermediate verification language.
gradual-verification/graduator
Documentation and links for the gradual program analysis prototype and experiments.
gradual-verification/gvc0-cparser-case-study
Holds data and code from the gradual verification of a C parser with gvc0.
gradual-verification/gvTEAL
Gradual Verification for Teal
gradual-verification/infer-gv-data
The results of running the infer-gv-impl checker on open-source projects.
gradual-verification/infer-gv-impl
Implementation of the infer-gv formalism as an Infer checker.
gradual-verification/NullSafetyJava
Sources and scripts for the gradual program analysis experiments.
gradual-verification/phasar
A LLVM-based static analysis framework.