rust-lang-nursery / wg-verification
Verification working group
☆104Updated 5 years ago
Related projects: ⓘ
- rust verification condition generator☆93Updated 8 years ago
- SAW front end for the MIR language from rustc☆35Updated 3 years ago
- Collecting examples and information to help design a memory model for Rust.☆126Updated 5 years ago
- A Cargo subcommand for working with feL4 projects.☆52Updated 6 years ago
- A Rust compiler plugin and support library to annotate overflow behavior☆105Updated last year
- Tutorial and demo of rust compiler replacement tooling☆55Updated 3 years ago
- A not-yet-functional Rust parser written in LALRPOP.☆35Updated 7 years ago
- Rust to F* toolchain☆40Updated 5 years ago
- Simple verification of Rust programs via functional purification in Lean 2(!)☆331Updated 7 years ago
- symbolic execution engine for Rust☆339Updated 6 years ago
- Coq to Rust program extraction. The whole tree is on the original Coq code base.☆222Updated 9 years ago
- RustPräzi: Representing crates.io as a call-based dependency network☆78Updated 5 years ago
- Callgraphs for Rust programs☆32Updated 9 years ago
- An almost-parallel, semi-functioning, dynamic linker experiment, written in Rust☆164Updated 6 years ago
- tracking performance of rustc-generated binaries over time☆104Updated last year
- ☆28Updated this week
- Experimental collection traits for Rust☆28Updated 7 years ago
- Where the work of WG-grammar, aiming to provide a canonical grammar for Rust, resides☆100Updated 5 months ago
- Modeling NLL and the Rust borrowck☆75Updated 6 years ago
- A macro for defining type operators in Rust.☆62Updated 7 years ago
- [INACTIVE] const-time Rust experiment☆96Updated 8 years ago
- QuickCheck bug hunting in Rust standard library data structures☆160Updated 5 years ago
- Design by contract style assertions for Rust☆245Updated 3 years ago
- Automagical variable binding library for Rust☆68Updated 4 years ago
- GLL parsing framework.☆138Updated 6 months ago
- JS affine☆66Updated 4 years ago
- An automated theorem prover for first order logic.☆28Updated 7 years ago
- A graphical debugger for Rust MIR☆181Updated 2 years ago
- Cargo subcommand to run kcov to get coverage report on Linux☆127Updated 2 years ago
- A fun example of working with Rust ASTs and syntex_syntax☆19Updated 6 years ago