Move crate to root directory

informalsystems · Nov 22, 2023 · e15806f · e15806f
1 parent 5946d9f
commit e15806f
Show file tree

Hide file tree

Showing 26 changed files with 21 additions and 34 deletions.
diff --git a/.github/workflows/coverage.yml b/.github/workflows/coverage.yml
@@ -3,18 +3,11 @@ name: Coverage
 on:
   push:
     branches: main
-    paths:
-      - itf/**
   pull_request:
-    paths:
-      - itf/**
 
 jobs:
   coverage:
     runs-on: ubuntu-latest
-    defaults:
-      run:
-        working-directory: itf
     env:
       CARGO_TERM_COLOR: always
     steps:
@@ -37,5 +30,5 @@ jobs:
         uses: codecov/codecov-action@v3
         with:
           token: ${{ secrets.CODECOV_TOKEN }}
-          files: itf/lcov.info
+          files: lcov.info
           fail_ci_if_error: true
diff --git a/.github/workflows/publish.yml b/.github/workflows/publish.yml
@@ -3,7 +3,7 @@ name: Publish
 on:
   push:
     tags:
-      - "v[0-9]+.[0-9]+.[0-9]+" # Push events to matching v*, i.e. v0.26.0, v1.0.0
+      - "v[0-9]+.*"
 
 jobs:
   publish:

diff --git a/Cargo.toml b/Cargo.toml
@@ -1,6 +1,19 @@
-[workspace]
-resolver = "2"
+[package]
+name          = "itf"
+version       = "0.2.0"
+edition       = "2021"
+license       = "Apache-2.0"
+readme        = "README.md"
+authors       = ["Informal Systems <[email protected]>"]
+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"
 
-members = [
-    "itf",
-]
+[dependencies]
+num-bigint = { version = "0.4", features = ["serde"] }
+num-traits = { version = "0.2" }
+serde      = { version = "1", features = ["derive"] }
+serde_json = { version = "1", features = ["raw_value"] }
+serde_with = { version = "3.4.0" }
diff --git a/itf/examples/cannibals.rs → examples/cannibals.rs b/itf/examples/cannibals.rs → examples/cannibals.rs
diff --git a/itf/Cargo.toml b/itf/Cargo.toml
diff --git a/itf/src/de.rs → src/de.rs b/itf/src/de.rs → src/de.rs
diff --git a/itf/src/de/deserializer.rs → src/de/deserializer.rs b/itf/src/de/deserializer.rs → src/de/deserializer.rs
diff --git a/itf/src/de/error.rs → src/de/error.rs b/itf/src/de/error.rs → src/de/error.rs
diff --git a/itf/src/de/helpers.rs → src/de/helpers.rs b/itf/src/de/helpers.rs → src/de/helpers.rs
diff --git a/itf/src/error.rs → src/error.rs b/itf/src/error.rs → src/error.rs
diff --git a/itf/src/lib.rs → src/lib.rs b/itf/src/lib.rs → src/lib.rs
@@ -1,4 +1,4 @@
-#![doc = include_str!("../../README.md")]
+#![doc = include_str!("../README.md")]
 
 use serde::de::DeserializeOwned;
 use serde::Deserialize;

diff --git a/itf/src/state.rs → src/state.rs b/itf/src/state.rs → src/state.rs
diff --git a/itf/src/trace.rs → src/trace.rs b/itf/src/trace.rs → src/trace.rs
diff --git a/itf/src/value.rs → src/value.rs b/itf/src/value.rs → src/value.rs
diff --git a/itf/src/value/bigint.rs → src/value/bigint.rs b/itf/src/value/bigint.rs → src/value/bigint.rs
diff --git a/itf/src/value/map.rs → src/value/map.rs b/itf/src/value/map.rs → src/value/map.rs
diff --git a/itf/src/value/set.rs → src/value/set.rs b/itf/src/value/set.rs → src/value/set.rs
diff --git a/itf/src/value/tuple.rs → src/value/tuple.rs b/itf/src/value/tuple.rs → src/value/tuple.rs
diff --git a/itf/src/value/unserializable.rs → src/value/unserializable.rs b/itf/src/value/unserializable.rs → src/value/unserializable.rs
diff --git a/itf/tests/decide_non_proposer.rs → tests/decide_non_proposer.rs b/itf/tests/decide_non_proposer.rs → tests/decide_non_proposer.rs
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/itf/tests/insufficient_success.rs → tests/insufficient_success.rs b/itf/tests/insufficient_success.rs → tests/insufficient_success.rs
diff --git a/itf/tests/missionaries_and_cannibals.rs → tests/missionaries_and_cannibals.rs b/itf/tests/missionaries_and_cannibals.rs → tests/missionaries_and_cannibals.rs
diff --git a/itf/tests/regression.rs → tests/regression.rs b/itf/tests/regression.rs → tests/regression.rs