Merge branch 'main' into stable_codegen_find_debug_info

model-checking · Dec 7, 2023 · ba20eb1 · ba20eb1
2 parents fb258eb + b796802
commit ba20eb1
Show file tree

Hide file tree

Showing 3 changed files with 2 additions and 1 deletion.
diff --git a/docs/src/SUMMARY.md b/docs/src/SUMMARY.md
@@ -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)

diff --git a/docs/src/dev-documentation.md b/docs/src/dev-documentation.md
@@ -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

diff --git a/docs/src/stable_mir.md → docs/src/stable-mir.md b/docs/src/stable_mir.md → docs/src/stable-mir.md