Move contracts out of library for now

jaisnan · Jul 16, 2024 · af85a10 · af85a10
1 parent fd1c9c2
commit af85a10
Show file tree

Hide file tree

Showing 5 changed files with 0 additions and 0 deletions.
diff --git a/library/contracts/safety/Cargo.toml → contracts/safety/Cargo.toml b/library/contracts/safety/Cargo.toml → contracts/safety/Cargo.toml
diff --git a/library/contracts/safety/build.rs → contracts/safety/build.rs b/library/contracts/safety/build.rs → contracts/safety/build.rs
diff --git a/library/contracts/safety/src/kani.rs → contracts/safety/src/kani.rs b/library/contracts/safety/src/kani.rs → contracts/safety/src/kani.rs
diff --git a/library/contracts/safety/src/lib.rs → contracts/safety/src/lib.rs b/library/contracts/safety/src/lib.rs → contracts/safety/src/lib.rs
diff --git a/library/contracts/safety/src/runtime.rs → contracts/safety/src/runtime.rs b/library/contracts/safety/src/runtime.rs → contracts/safety/src/runtime.rs