Bump versions, add instructions to manual.

sybila · Jul 7, 2024 · cac7ca4 · cac7ca4
1 parent 8f0f1f5
commit cac7ca4
Show file tree

Hide file tree

Showing 4 changed files with 6 additions and 4 deletions.
diff --git a/classifier/Cargo.toml b/classifier/Cargo.toml
@@ -1,6 +1,6 @@
 [package]
 name = "bn-classifier"
-version = "0.1.0"
+version = "0.2.3"
 description = "Tool for classifying Boolean models by dynamic properties."
 authors = ["Ondřej Huvar <xhuvar@fi.muni.cz>", "Samuel Pastva <sam.pastva@gmail.com>"]
 license = "MIT"

diff --git a/manual.pdf b/manual.pdf
diff --git a/src-tauri/Cargo.toml b/src-tauri/Cargo.toml
@@ -1,6 +1,6 @@
 [package]
 name = "hctl-property-explorer"
-version = "0.2.2"
+version = "0.2.3"
 description = "An interactive explorer of HCTL properties through decision trees."
 authors = ["Ondřej Huvar<xhuvar@fi.muni.cz>", "Samuel Pastva <sam.pastva@gmail.com>"]
 license = "MIT"
@@ -17,9 +17,9 @@ biodivine-lib-bdd = "=0.5.2"
 biodivine-lib-param-bn = "=0.4.7"
 biodivine-hctl-model-checker = "=0.2.0"
 
-rand = "0.8.5"
 clap = { version = "4.1.4", features = ["derive"] }
 json = "0.12.4"
+rand = "0.8.5"
 serde_json = "1.0"
 serde = { version = "1.0", features = ["derive"] }
 tauri = { version = "1.2.2", features = ["dialog-all"] }

diff --git a/tutorial/tutorial.ipynb b/tutorial/tutorial.ipynb
@@ -299,7 +299,9 @@
    "metadata": {},
    "outputs": [],
    "source": [
-    "subprocess.run([\"../bin/hctl-explorer\"])"
+    "subprocess.run([\"../bin/hctl-explorer\"])\n",
+    "# if the command above by chance does not work, you can also try the following version:\n",
+    "# subprocess.run([\"hctl-explorer\"])"
    ]
   },
   {