From af85a1031555e8d0d3caa5f440d797e1ff87ccd1 Mon Sep 17 00:00:00 2001 From: "Celina G. Val" Date: Tue, 16 Jul 2024 16:56:22 -0700 Subject: [PATCH] Move contracts out of library for now --- {library/contracts => contracts}/safety/Cargo.toml | 0 {library/contracts => contracts}/safety/build.rs | 0 {library/contracts => contracts}/safety/src/kani.rs | 0 {library/contracts => contracts}/safety/src/lib.rs | 0 {library/contracts => contracts}/safety/src/runtime.rs | 0 5 files changed, 0 insertions(+), 0 deletions(-) rename {library/contracts => contracts}/safety/Cargo.toml (100%) rename {library/contracts => contracts}/safety/build.rs (100%) rename {library/contracts => contracts}/safety/src/kani.rs (100%) rename {library/contracts => contracts}/safety/src/lib.rs (100%) rename {library/contracts => contracts}/safety/src/runtime.rs (100%) diff --git a/library/contracts/safety/Cargo.toml b/contracts/safety/Cargo.toml similarity index 100% rename from library/contracts/safety/Cargo.toml rename to contracts/safety/Cargo.toml diff --git a/library/contracts/safety/build.rs b/contracts/safety/build.rs similarity index 100% rename from library/contracts/safety/build.rs rename to contracts/safety/build.rs diff --git a/library/contracts/safety/src/kani.rs b/contracts/safety/src/kani.rs similarity index 100% rename from library/contracts/safety/src/kani.rs rename to contracts/safety/src/kani.rs diff --git a/library/contracts/safety/src/lib.rs b/contracts/safety/src/lib.rs similarity index 100% rename from library/contracts/safety/src/lib.rs rename to contracts/safety/src/lib.rs diff --git a/library/contracts/safety/src/runtime.rs b/contracts/safety/src/runtime.rs similarity index 100% rename from library/contracts/safety/src/runtime.rs rename to contracts/safety/src/runtime.rs