Move contracts back to library/contracts

model-checking · Jul 17, 2024 · d11fcb2 · d11fcb2
1 parent bf2766f
commit d11fcb2
Show file tree

Hide file tree

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