Rename serde-itf crate to itf

informalsystems · Oct 26, 2023 · 0823107 · 0823107
1 parent e481cf7
commit 0823107
Show file tree

Hide file tree

Showing 19 changed files with 6 additions and 6 deletions.
diff --git a/Cargo.toml b/Cargo.toml
@@ -2,5 +2,5 @@
 resolver = "2"
 
 members = [
-    "serde-itf",
+    "itf",
 ]
diff --git a/serde-itf/Cargo.toml → itf/Cargo.toml b/serde-itf/Cargo.toml → itf/Cargo.toml
@@ -1,5 +1,5 @@
 [package]
-name    = "serde-itf"
+name    = "itf"
 version = "0.1.0"
 edition = "2021"
 

diff --git a/serde-itf/src/de.rs → itf/src/de.rs b/serde-itf/src/de.rs → itf/src/de.rs
diff --git a/serde-itf/src/error.rs → itf/src/error.rs b/serde-itf/src/error.rs → itf/src/error.rs
diff --git a/serde-itf/src/lib.rs → itf/src/lib.rs b/serde-itf/src/lib.rs → itf/src/lib.rs
diff --git a/serde-itf/src/state.rs → itf/src/state.rs b/serde-itf/src/state.rs → itf/src/state.rs
diff --git a/serde-itf/src/trace.rs → itf/src/trace.rs b/serde-itf/src/trace.rs → itf/src/trace.rs
diff --git a/serde-itf/src/value.rs → itf/src/value.rs b/serde-itf/src/value.rs → itf/src/value.rs
diff --git a/serde-itf/src/value/bigint.rs → itf/src/value/bigint.rs b/serde-itf/src/value/bigint.rs → itf/src/value/bigint.rs
diff --git a/serde-itf/src/value/map.rs → itf/src/value/map.rs b/serde-itf/src/value/map.rs → itf/src/value/map.rs
diff --git a/serde-itf/src/value/set.rs → itf/src/value/set.rs b/serde-itf/src/value/set.rs → itf/src/value/set.rs
diff --git a/serde-itf/src/value/tuple.rs → itf/src/value/tuple.rs b/serde-itf/src/value/tuple.rs → itf/src/value/tuple.rs
diff --git a/serde-itf/src/value/unserializable.rs → itf/src/value/unserializable.rs b/serde-itf/src/value/unserializable.rs → itf/src/value/unserializable.rs
diff --git a/serde-itf/tests/decide_non_proposer.rs → itf/tests/decide_non_proposer.rs b/serde-itf/tests/decide_non_proposer.rs → itf/tests/decide_non_proposer.rs
@@ -230,6 +230,6 @@ where
 #[test]
 fn deserialize() {
     let data = include_str!("../tests/fixtures/DecideNonProposerTest0.itf.json");
-    let trace = serde_itf::trace_from_str::<State>(data).unwrap();
+    let trace = itf::trace_from_str::<State>(data).unwrap();
     dbg!(trace);
 }
diff --git a/.../fixtures/DecideNonProposerTest0.itf.json → .../fixtures/DecideNonProposerTest0.itf.json b/.../fixtures/DecideNonProposerTest0.itf.json → .../fixtures/DecideNonProposerTest0.itf.json
diff --git a/...ixtures/MissionariesAndCannibals.itf.json → ...ixtures/MissionariesAndCannibals.itf.json b/...ixtures/MissionariesAndCannibals.itf.json → ...ixtures/MissionariesAndCannibals.itf.json
diff --git a/...ixtures/TestInsufficientSuccess9.itf.json → ...ixtures/TestInsufficientSuccess9.itf.json b/...ixtures/TestInsufficientSuccess9.itf.json → ...ixtures/TestInsufficientSuccess9.itf.json
diff --git a/serde-itf/tests/insufficient_success.rs → itf/tests/insufficient_success.rs b/serde-itf/tests/insufficient_success.rs → itf/tests/insufficient_success.rs
@@ -2,8 +2,8 @@
 
 use std::collections::HashMap;
 
+use itf::value::BigInt;
 use serde::Deserialize;
-use serde_itf::value::BigInt;
 
 type Balance = HashMap<String, BigInt>;
 type Balances = HashMap<String, Balance>;
@@ -52,7 +52,7 @@ struct State {
 #[ignore]
 fn deserialize() {
     let data = include_str!("../tests/fixtures/TestInsufficientSuccess9.itf.json");
-    let trace = serde_itf::trace_from_str::<State>(data).unwrap();
+    let trace = itf::trace_from_str::<State>(data).unwrap();
 
     dbg!(trace);
 }
diff --git a/...e-itf/tests/missionaries_and_cannibals.rs → itf/tests/missionaries_and_cannibals.rs b/...e-itf/tests/missionaries_and_cannibals.rs → itf/tests/missionaries_and_cannibals.rs
@@ -37,7 +37,7 @@ struct State {
 #[test]
 fn cannibals() {
     let data = include_str!("../tests/fixtures/MissionariesAndCannibals.itf.json");
-    let trace = serde_itf::trace_from_str::<State>(data).unwrap();
+    let trace = itf::trace_from_str::<State>(data).unwrap();
 
     dbg!(trace);
 }