Animate graph changes

Upgrade frontend dependencies
Use unoptimised hybrid step for better presentation
2025-12-20 09:39:38 +01:00 · 2023-01-13 12:01:11 +01:00 · 2023-01-13 11:31:14 +01:00 · 2023-01-13 09:05:50 +01:00 · 2023-01-13 09:05:50 +01:00 · 2023-01-13 09:05:50 +01:00
7 changed files with 235 additions and 289 deletions
--- a/Cargo.lock
+++ b/Cargo.lock
--- a/README.md
+++ b/README.md
@ -1,7 +1,7 @@
 [![Crates.io](https://img.shields.io/crates/v/adf-bdd-bin?label=crates.io%20%28bin%29)](https://crates.io/crates/adf-bdd-bin)
 [![Crates.io](https://img.shields.io/crates/v/adf_bdd?label=crates.io%20%28lib%29)](https://crates.io/crates/adf_bdd)
 [![docs.rs](https://img.shields.io/docsrs/adf_bdd?label=docs.rs)](https://docs.rs/adf_bdd/latest/adf_bdd/)
-![GitHub Workflow Status](https://img.shields.io/github/actions/workflow/status/ellmau/adf-obdd/codecov.yml?branch=main)
+![GitHub Workflow Status](https://img.shields.io/github/workflow/status/ellmau/adf-obdd/Code%20coverage%20with%20tarpaulin)
 [![Coveralls](https://img.shields.io/coveralls/github/ellmau/adf-obdd)](https://coveralls.io/github/ellmau/adf-obdd)
 ![GitHub release (latest by date including pre-releases)](https://img.shields.io/github/v/release/ellmau/adf-obdd?include_prereleases)
 ![GitHub (Pre-)Release Date](https://img.shields.io/github/release-date-pre/ellmau/adf-obdd?label=release%20from) ![GitHub top language](https://img.shields.io/github/languages/top/ellmau/adf-obdd)
--- a/bin/Cargo.toml
+++ b/bin/Cargo.toml
@ -17,11 +17,11 @@ path = "src/main.rs"

 [dependencies]
 adf_bdd = { version="0.3.1", path="../lib", default-features = false }
-clap = {version = "4.1.4", features = [ "derive", "cargo", "env" ]}
+clap = {version = "4.0.32", features = [ "derive", "cargo", "env" ]}
 log = { version = "0.4", features = [ "max_level_trace", "release_max_level_info" ] }
 serde = { version = "1.0", features = ["derive","rc"] }
 serde_json = "1.0"
-env_logger = "0.10"
+env_logger = "0.9"
 strum = { version = "0.24" }
 crossbeam-channel = "0.5"

--- a/bin/README.md
+++ b/bin/README.md
@ -1,5 +1,5 @@
 [![Crates.io](https://img.shields.io/crates/v/adf-bdd-bin)](https://crates.io/crates/adf-bdd-bin)
-![GitHub Workflow Status](https://img.shields.io/github/actions/workflow/status/ellmau/adf-obdd/codecov.yml?branch=main)
+![GitHub Workflow Status](https://img.shields.io/github/workflow/status/ellmau/adf-obdd/Code%20coverage%20with%20tarpaulin) 
 [![Coveralls](https://img.shields.io/coveralls/github/ellmau/adf-obdd)](https://coveralls.io/github/ellmau/adf-obdd) 
 ![GitHub release (latest by date including pre-releases)](https://img.shields.io/github/v/release/ellmau/adf-obdd?include_prereleases) 
 ![GitHub (Pre-)Release Date](https://img.shields.io/github/release-date-pre/ellmau/adf-obdd?label=release%20from) 
--- a/bin/tests/cli.rs
+++ b/bin/tests/cli.rs
@ -14,7 +14,7 @@ fn arguments() -> Result<(), Box<dyn std::error::Error>> {
    cmd = Command::cargo_bin("adf-bdd")?;
    cmd.arg("-v").arg("--lx").arg("--an").arg("file.txt");
    cmd.assert().failure().stderr(predicate::str::contains(
-        "argument '--lx' cannot be used with '--an'",
+        "The argument '--lx' cannot be used with '--an'",
    ));

    cmd = Command::cargo_bin("adf-bdd")?;
--- a/lib/Cargo.toml
+++ b/lib/Cargo.toml
@ -24,11 +24,11 @@ crate-type = ["lib"]   # The crate types to generate.

 [dependencies]
 log = { version = "0.4"}
-nom = "7.1.3"
+nom = "7.1.1"
 lexical-sort = "0.3.1"
 serde = { version = "1.0", features = ["derive","rc"] }
 serde_json = "1.0"
-biodivine-lib-bdd = "0.4.2"
+biodivine-lib-bdd = "0.4.1"
 derivative = "2.2.0"
 roaring = "0.10.1"
 strum = { version = "0.24", features = ["derive"] }
@ -37,7 +37,7 @@ rand = {version = "0.8.5", features = ["std_rng"]}

 [dev-dependencies]
 test-log = "0.2"
-env_logger = "0.10"
+env_logger = "0.9"
 quickcheck = "1"
 quickcheck_macros = "1"

--- a/lib/README.md
+++ b/lib/README.md
@ -1,6 +1,6 @@
 [![Crates.io](https://img.shields.io/crates/v/adf_bdd)](https://crates.io/crates/adf_bdd)
 [![docs.rs](https://img.shields.io/docsrs/adf_bdd?label=docs.rs)](https://docs.rs/adf_bdd/latest/adf_bdd/)
-![GitHub Workflow Status](https://img.shields.io/github/actions/workflow/status/ellmau/adf-obdd/codecov.yml?branch=main)
+![GitHub Workflow Status](https://img.shields.io/github/workflow/status/ellmau/adf-obdd/Code%20coverage%20with%20tarpaulin)
 [![Coveralls](https://img.shields.io/coveralls/github/ellmau/adf-obdd)](https://coveralls.io/github/ellmau/adf-obdd)
 ![GitHub release (latest by date including pre-releases)](https://img.shields.io/github/v/release/ellmau/adf-obdd?include_prereleases)
 ![GitHub (Pre-)Release Date](https://img.shields.io/github/release-date-pre/ellmau/adf-obdd?label=release%20from) ![GitHub top language](https://img.shields.io/github/languages/top/ellmau/adf-obdd)
Author	SHA1	Message	Date
monsterkrampe	d905776952	Animate graph changes	2023-01-13 12:01:11 +01:00
monsterkrampe	e615a1fb86	Upgrade frontend dependencies	2023-01-13 11:31:14 +01:00
Stefan Ellmauthaler	b23f342a4e	Use unoptimised hybrid step for better presentation	2023-01-13 09:05:50 +01:00
Stefan Ellmauthaler	92954cf87b	Use standard example for adfs on the frontend	2023-01-13 09:05:50 +01:00
monsterkrampe	07537c6d25	Support more options and multiple models	2023-01-13 09:05:50 +01:00
monsterkrampe	e88e6bbfa1	Fix code formatting	2023-01-13 09:05:49 +01:00
monsterkrampe	addb774cc1	Introduce custom node type for nicer layout	2023-01-13 09:05:49 +01:00
monsterkrampe	daf4e21f77	Support stable model semantics with nogoods	2023-01-13 09:05:49 +01:00
monsterkrampe	8d6e0a19de	Support multiple solving strategies	2023-01-13 09:05:49 +01:00
monsterkrampe	f8f1ca968e	Add Dockerfile as example for server with frontend	2023-01-13 09:05:49 +01:00
monsterkrampe	5a409712bc	Serve static files from './assets' directory	2023-01-13 09:05:49 +01:00
monsterkrampe	393ee39f0c	Introduce features flag for localhost cors support	2023-01-13 09:05:49 +01:00
monsterkrampe	e5df39206c	Make fetch endpoint depend on environment	2023-01-13 09:05:49 +01:00
monsterkrampe	b0e57cf7e1	Finish basic visualization of solve response	2023-01-13 09:05:49 +01:00
monsterkrampe	7c47d6aa28	Continue implementing basic solving endpoint	2023-01-13 09:05:48 +01:00
monsterkrampe	18952323eb	Build basic ui with mui	2023-01-13 09:05:48 +01:00
monsterkrampe	4d0f52c164	Start implementing endpoint to solve ADF on demand	2023-01-13 09:05:46 +01:00
monsterkrampe	4e5a1fc1ff	Introduce separate server package	2023-01-13 08:50:00 +01:00
monsterkrampe	f7302511be	Experiment with basic graph visualization	2023-01-13 08:49:58 +01:00