Skip to content

Commit af85a10

Browse files
celinvalcelinval
committed
Move contracts out of library for now
1 parent fd1c9c2 commit af85a10

File tree

5 files changed

+0
-0
lines changed

5 files changed

+0
-0
lines changed

‎library/contracts/safety/Cargo.toml renamed to ‎contracts/safety/Cargo.toml

File renamed without changes.

‎library/contracts/safety/build.rs renamed to ‎contracts/safety/build.rs

File renamed without changes.

‎library/contracts/safety/src/kani.rs renamed to ‎contracts/safety/src/kani.rs

File renamed without changes.

‎library/contracts/safety/src/lib.rs renamed to ‎contracts/safety/src/lib.rs

File renamed without changes.

‎library/contracts/safety/src/runtime.rs renamed to ‎contracts/safety/src/runtime.rs

File renamed without changes.

0 commit comments

Comments
 (0)