rust-lang / project-stable-mir
Define compiler intermediate representation usable by external tools
☆71Updated 9 months ago
Alternatives and similar repositories for project-stable-mir:
Users that are interested in project-stable-mir are comparing it to the libraries listed below
- automatially find crashes in the rust compiler & tooling☆72Updated 11 months ago
- A framework for writing plugins that integrate with the Rust compiler☆144Updated 3 weeks ago
- Home of the "types team", affiliated with the compiler and lang teams.☆96Updated last year
- Overview of the Tree Borrows rules for detecting violations of the aliasing discipline in Rust☆24Updated 11 months ago
- UB-free and deterministic rustc fuzzer☆74Updated 2 months ago
- Interface with the rustc compiler for the purpose of program verification☆125Updated this week
- ☆129Updated 3 weeks ago
- home for proposals in and around compile-time function evaluation☆107Updated last year
- A tool to help with minimization of Rust code☆51Updated last year
- We have Crater At Home☆28Updated 5 months ago
- sptr: The Strict Provenance Polyfill☆76Updated last year
- ☆38Updated 3 weeks ago
- А procedural macro useful for testing/fuzzing stateful models against a semantically equivalent but obviously correct implementation☆84Updated last year
- A fast, parallel, syntax-aware test case reducer based on tree-sitter grammars☆77Updated 3 weeks ago
- Choose Rust types at compile-time via constants☆64Updated last year
- Project group working on the "safe transmute" feature☆92Updated 6 months ago
- setup for fuzzing the Rust compiler☆58Updated 2 weeks ago
- An IDE extension for debugging trait errors in Rust.☆108Updated last week
- a model of MIR and the Rust type/trait system☆297Updated 2 weeks ago
- An implementation of union-find / congruence-closure in Rust. Extracted from rustc for independent experimentation.☆153Updated 10 months ago
- Mirror of Rust's allocator api for use on stable rust☆52Updated last month
- Determine whether characters have the XID_Start or XID_Continue properties☆89Updated 2 weeks ago
- Propositional logic with types in Rust☆62Updated last year
- New register allocator designed as a successor to regalloc2☆36Updated 3 weeks ago
- A test framework for testing rustc diagnostics output☆30Updated 2 weeks ago
- experimental datalog rules for a next gen polonius☆19Updated 2 years ago
- Some internal rustc tools made accessible☆47Updated 2 months ago
- Cross-platform atomic wait and wake (aka futex) functionality for Rust.☆124Updated 9 months ago
- Trophy case for Rudra bugs.☆39Updated last year
- A graphical debugger for Rust MIR☆189Updated 2 years ago