WIP: Deserialize ITF traces emitted by consensus Quint spec

informalsystems · Oct 25, 2023 · f542006 · f542006
1 parent 3fea113
commit f542006
Show file tree

Hide file tree

Showing 5 changed files with 2,030 additions and 0 deletions.
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"] }