Skip to content

Commit

Permalink
Fix StableMIR migration documentation (rust-lang#2915)
Browse files Browse the repository at this point in the history
Rename the file to use '-' instead of `_` and add the new page to the
index. Fixed version can be seen here:
https://celinval.github.io/kani-dev/stable-mir.html
  • Loading branch information
celinval authored Dec 5, 2023
1 parent 4c0dd15 commit d8db3b8
Show file tree
Hide file tree
Showing 3 changed files with 2 additions and 1 deletion.
1 change: 1 addition & 0 deletions docs/src/SUMMARY.md
Original file line number Diff line number Diff line change
Expand Up @@ -26,6 +26,7 @@
- [Coding conventions](./conventions.md)
- [Working with CBMC](./cbmc-hacks.md)
- [Working with `rustc`](./rustc-hacks.md)
- [Migrating to StableMIR](./stable-mir.md)
- [Command cheat sheets](./cheat-sheets.md)
- [cargo kani assess](./dev-assess.md)
- [Testing](./testing.md)
Expand Down
2 changes: 1 addition & 1 deletion docs/src/dev-documentation.md
Original file line number Diff line number Diff line change
Expand Up @@ -14,7 +14,7 @@ developers (including external contributors):
3. [Development setup recommendations for working with `cbmc`](./cbmc-hacks.md).
4. [Development setup recommendations for working with `rustc`](./rustc-hacks.md).
5. [Guide for testing in Kani](./testing.md).
6. [Transition to StableMIR](./stable_mir.md).
6. [Transition to StableMIR](./stable-mir.md).

> **NOTE**: The developer documentation is intended for Kani developers and not
users. At present, the project is under heavy development and some items
Expand Down
File renamed without changes.

0 comments on commit d8db3b8

Please sign in to comment.