Merge branch 'main' into native-types

informalsystems · Nov 20, 2023 · eeb0570 · eeb0570
2 parents d89d2fb + 59ccf78
commit eeb0570
Show file tree

Hide file tree

Showing 3 changed files with 15 additions and 5 deletions.
diff --git a/CHANGELOG.md b/CHANGELOG.md
@@ -1,5 +1,9 @@
 # CHANGELOG
 
+## v0.1.2
+
+- Add `From<T> where T: From<BigInt>` instance for `ItfBigInt`
+
 ## v0.1.1
 
 - Add support for new `timestamp` field in meta section of ITF traces

diff --git a/itf/Cargo.toml b/itf/Cargo.toml
@@ -1,7 +1,15 @@
 [package]
-name    = "itf"
-version = "0.1.0"
-edition = "2021"
+name          = "itf"
+version       = "0.1.2"
+edition       = "2021"
+license       = "Apache-2.0"
+readme        = "../README.md"
+authors       = ["Informal Systems <hello@informal.sytems>"]
+keywords      = ["apalache", "serialization", "trace"]
+description   = "Library for consuming Apalache ITF traces"
+repository    = "https://github.com/informalsystems/itf-rs"
+documentation = "https://docs.rs/itf"
+rust-version  = "1.65"
 
 [dependencies]
 num-bigint = { version = "0.4", features = ["serde"] }

diff --git a/itf/tests/regression.rs b/itf/tests/regression.rs
@@ -1,5 +1,3 @@
-use std::collections::HashMap;
-
 use serde::Deserialize;
 
 #[test]