rust-lang / project-stable-mir
Define compiler intermediate representation usable by external tools
☆62Updated 5 months ago
Related projects ⓘ
Alternatives and complementary repositories for project-stable-mir
- Overview of the Tree Borrows rules for detecting violations of the aliasing discipline in Rust☆23Updated 7 months ago
- automatially find crashes in the rust compiler & tooling☆70Updated 7 months ago
- Home of the "types team", affiliated with the compiler and lang teams.☆95Updated last year
- A framework for writing plugins that integrate with the Rust compiler☆135Updated 3 months ago
- UB-free and deterministic rustc fuzzer☆49Updated last month
- sptr: The Strict Provenance Polyfill☆76Updated last year
- ☆93Updated last week
- The Rust specification☆103Updated 3 months ago
- Project group working on the "safe transmute" feature☆85Updated 2 months ago
- A tool to help with minimization of Rust code☆49Updated 10 months ago
- A modern (trail saving, clause subsumption/vivification, learning-rate based selecting, rephrase) CDCL SAT solver in Rust☆81Updated this week
- home for proposals in and around compile-time function evaluation☆105Updated last year
- A simple, id-based arena☆114Updated last year
- Determine whether characters have the XID_Start or XID_Continue properties☆76Updated this week
- An implementation of union-find / congruence-closure in Rust. Extracted from rustc for independent experimentation.☆147Updated 6 months ago
- Interface with the rustc compiler for the purpose of program verification☆105Updated this week
- A library for generating Graphviz DOT language files for graphs.☆73Updated last year
- A graphical debugger for Rust MIR☆183Updated 2 years ago
- An IDE extension for debugging trait errors in Rust.☆97Updated last week
- Data-driven tests on stable Rust☆36Updated this week
- setup for fuzzing the Rust compiler☆58Updated 6 months ago
- A memory efficient syntax tree for language developers☆51Updated 2 months ago
- А procedural macro useful for testing/fuzzing stateful models against a semantically equivalent but obviously correct implementation☆81Updated last year
- A fast, concurrent string interner☆140Updated 3 months ago
- A test framework for testing rustc diagnostics output☆27Updated this week
- a model of MIR and the Rust type/trait system☆285Updated last month
- Safe, zero-cost downcasting for limited compile-time specialization.☆151Updated last month
- Choose Rust types at compile-time via constants☆62Updated 10 months ago
- Cross-platform atomic wait and wake (aka futex) functionality for Rust.☆115Updated 5 months ago
- Public repository for the Rust keyword generics initiative☆96Updated 3 months ago