Turn bare links into automatic links

model-checking · May 16, 2024 · 1bf7a30 · 1bf7a30
1 parent 736b225
commit 1bf7a30
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 4 deletions.
diff --git a/core/src/slice/sort/stable/mod.rs b/core/src/slice/sort/stable/mod.rs
@@ -14,10 +14,10 @@ pub(crate) mod quicksort;
 
 /// Stable sort called driftsort by Orson Peters and Lukas Bergdoll.
 /// Design document:
-/// https://github.com/Voultapher/sort-research-rs/blob/main/writeup/driftsort_introduction/text.md
+/// <https://github.com/Voultapher/sort-research-rs/blob/main/writeup/driftsort_introduction/text.md>
 ///
 /// Upholds all safety properties outlined here:
-/// https://github.com/Voultapher/sort-research-rs/blob/main/writeup/sort_safety/text.md
+/// <https://github.com/Voultapher/sort-research-rs/blob/main/writeup/sort_safety/text.md>
 #[inline(always)]
 pub fn sort<T, F: FnMut(&T, &T) -> bool, BufT: BufGuard<T>>(v: &mut [T], is_less: &mut F) {
     // Arrays of zero-sized types are always all-equal, and thus sorted.

diff --git a/core/src/slice/sort/unstable/mod.rs b/core/src/slice/sort/unstable/mod.rs
@@ -11,10 +11,10 @@ pub(crate) mod quicksort;
 
 /// Unstable sort called ipnsort by Lukas Bergdoll.
 /// Design document:
-/// https://github.com/Voultapher/sort-research-rs/blob/main/writeup/ipnsort_introduction/text.md
+/// <https://github.com/Voultapher/sort-research-rs/blob/main/writeup/ipnsort_introduction/text.md>
 ///
 /// Upholds all safety properties outlined here:
-/// https://github.com/Voultapher/sort-research-rs/blob/main/writeup/sort_safety/text.md
+/// <https://github.com/Voultapher/sort-research-rs/blob/main/writeup/sort_safety/text.md>
 #[inline(always)]
 pub fn sort<T, F: FnMut(&T, &T) -> bool>(v: &mut [T], is_less: &mut F) {
     // Arrays of zero-sized types are always all-equal, and thus sorted.