model-checking
diff --git a/‎std/src/sys/pal/hermit/thread.rs‎ renamed to ‎std/src/sys/thread/hermit.rs‎ b/‎std/src/sys/pal/hermit/thread.rs‎ renamed to ‎std/src/sys/thread/hermit.rs‎
diff --git a/‎std/src/sys/pal/sgx/thread.rs‎ renamed to ‎std/src/sys/thread/sgx.rs‎ b/‎std/src/sys/pal/sgx/thread.rs‎ renamed to ‎std/src/sys/thread/sgx.rs‎
diff --git a/‎std/src/sys/pal/itron/thread.rs‎ renamed to ‎std/src/sys/thread/solid.rs‎ b/‎std/src/sys/pal/itron/thread.rs‎ renamed to ‎std/src/sys/thread/solid.rs‎
diff --git a/‎std/src/sys/pal/teeos/thread.rs‎ renamed to ‎std/src/sys/thread/teeos.rs‎ b/‎std/src/sys/pal/teeos/thread.rs‎ renamed to ‎std/src/sys/thread/teeos.rs‎
diff --git a/‎std/src/sys/pal/uefi/thread.rs‎ renamed to ‎std/src/sys/thread/uefi.rs‎ b/‎std/src/sys/pal/uefi/thread.rs‎ renamed to ‎std/src/sys/thread/uefi.rs‎
diff --git a/‎std/src/sys/pal/unix/thread.rs‎ renamed to ‎std/src/sys/thread/unix.rs‎ b/‎std/src/sys/pal/unix/thread.rs‎ renamed to ‎std/src/sys/thread/unix.rs‎
diff --git a/‎std/src/sys/pal/unsupported/thread.rs‎ renamed to ‎std/src/sys/thread/unsupported.rs‎ b/‎std/src/sys/pal/unsupported/thread.rs‎ renamed to ‎std/src/sys/thread/unsupported.rs‎
diff --git a/‎std/src/sys/pal/wasip1/thread.rs‎ renamed to ‎std/src/sys/thread/wasip1.rs‎ b/‎std/src/sys/pal/wasip1/thread.rs‎ renamed to ‎std/src/sys/thread/wasip1.rs‎
diff --git a/‎std/src/sys/pal/wasip2/thread.rs‎ renamed to ‎std/src/sys/thread/wasip2.rs‎ b/‎std/src/sys/pal/wasip2/thread.rs‎ renamed to ‎std/src/sys/thread/wasip2.rs‎
diff --git a/‎std/src/sys/pal/wasm/atomics/thread.rs‎ renamed to ‎std/src/sys/thread/wasm.rs‎ b/‎std/src/sys/pal/wasm/atomics/thread.rs‎ renamed to ‎std/src/sys/thread/wasm.rs‎