WIP: Deserialize ITF traces emitted by consensus Quint spec

informalsystems · Oct 25, 2023 · 8ebc076 · 8ebc076
1 parent 4968797
commit 8ebc076
Show file tree

Hide file tree

Showing 6 changed files with 2,032 additions and 1 deletion.
diff --git a/Code/Cargo.toml b/Code/Cargo.toml
@@ -4,7 +4,8 @@ resolver = "2"
 members = [
   "common",
   "consensus",
+  "itf",
   "round",
-  "vote",
   "test",
+  "vote",
 ]
diff --git a/Code/itf/Cargo.toml b/Code/itf/Cargo.toml
@@ -0,0 +1,10 @@
+[package]
+name = "malachite-itf"
+version = "0.1.0"
+edition = "2021"
+
+# See more keys and their definitions at https://doc.rust-lang.org/cargo/reference/manifest.html
+
+[dependencies]
+itf = "0.1.0"
+serde = { version = "1.0.189", features = ["derive"] }