Search results

We should have a Miri book

A-docsArea: affects documentationArea: affects documentation

C-enhancementCategory: a PR with an enhancement or an issue tracking an accepted enhancementCategory: a PR with an enhancement or an issue tracking an accepted enhancement

Status: Open.

#4108 In rust-lang/miri;

· RalfJung opened on Dec 24, 2024

Adding useful commands to documentation

A-docsArea: affects documentationArea: affects documentation

C-enhancementCategory: a PR with an enhancement or an issue tracking an accepted enhancementCategory: a PR with an enhancement or an issue tracking an accepted enhancement

Status: Open.

#3991 In rust-lang/miri;

· tiif opened on Oct 25, 2024

2 comments

Documentation for reading Miri's output

A-diagnosticserrors and warnings emitted by mirierrors and warnings emitted by miri

A-docsArea: affects documentationArea: affects documentation

C-enhancementCategory: a PR with an enhancement or an issue tracking an accepted enhancementCategory: a PR with an enhancement or an issue tracking an accepted enhancement

Status: Open.

#2066 In rust-lang/miri;

· nicholasbishop opened on Apr 16, 2022

Document how to invoke Miri driver directly

A-docsArea: affects documentationArea: affects documentation

C-enhancementCategory: a PR with an enhancement or an issue tracking an accepted enhancementCategory: a PR with an enhancement or an issue tracking an accepted enhancement

Status: Open.

#1835 In rust-lang/miri;

· ojeda opened on Jun 13, 2021

8 comments