rust-lang / miri-test-libstd
Testing the Rust standard library with Miri, continuously
☆10Updated 3 weeks ago
Related projects ⓘ
Alternatives and complementary repositories for miri-test-libstd
- A lightweight attribute for easy generation of const functions with conditional compilations.☆26Updated last week
- VFS used by rust-analyzer☆17Updated 4 years ago
- Find calls to panic functions in rust executables☆35Updated 3 years ago
- ☆35Updated 3 months ago
- Debug RefCell which keeps track of stack traces in debug mode☆23Updated last year
- Unsafe marker trait for types that deref to a stable address☆31Updated last year
- A SIMD-accelerated Adler-32 hash algorithm implementation.☆34Updated 2 months ago
- Rust traits for nonzero generic integers☆15Updated 2 years ago
- Learn what's changed on crates.io☆16Updated last month
- ☆16Updated 7 months ago
- Rust library for checking the installed/running rustc's version.☆51Updated 3 months ago
- Rust library providing basic aliasable (non `core::Unique`) types☆11Updated 2 years ago
- Unbuffered and unlocked I/O streams☆39Updated 3 months ago
- rust hints to the optimizer☆19Updated 3 years ago
- Proof of Concept of a version of the error trait that is no-std compatible and works with backtraces / error return traces☆11Updated 3 years ago
- Backported standard Rust library to older compilers.☆21Updated 2 years ago
- An async allocator with Fun™️ unsafe Rust☆18Updated last year
- Brotli encoders/decoers for Rust☆28Updated 2 years ago
- To futures-lite as futures-lite is to futures: smaller.☆53Updated 6 months ago
- Stack-allocated DSTs for rust (fixed capacity)☆47Updated 9 months ago
- DWARF packaging utility, written in Rust, supporting GNU extension and DWARF 5 package formats.☆42Updated 2 months ago
- Target "triple" support☆47Updated last month
- Rust String type with configurable byte storage.☆34Updated 2 months ago
- Home for the Inline Assembly project group☆34Updated 4 years ago
- A radioactive stabilization of the ptr_meta RFC.☆22Updated 2 months ago
- A safe `Pin`-based intrusive doubly-linked list in Rust☆13Updated 2 years ago
- Remove Cargo.lock lockfile☆32Updated 2 weeks ago
- A newtype with alignment of at least `A` bytes☆30Updated 8 months ago
- Initiative to support upcasting dyn Trait values to supertraits☆16Updated 2 years ago
- Pretty backtraces for rust☆14Updated 3 years ago