Animate graph changes

Upgrade frontend dependencies
Use unoptimised hybrid step for better presentation
2025-12-20 09:39:38 +01:00 · 2023-03-24 13:22:59 +01:00 · 2023-03-24 13:22:59 +01:00 · 2023-03-24 13:22:58 +01:00 · 2023-03-24 13:22:58 +01:00 · 2023-03-24 13:22:58 +01:00
7 changed files with 291 additions and 237 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/workflow/status/ellmau/adf-obdd/Code%20coverage%20with%20tarpaulin)
+![GitHub Workflow Status](https://img.shields.io/github/actions/workflow/status/ellmau/adf-obdd/codecov.yml?branch=main)
 [![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.0.32", features = [ "derive", "cargo", "env" ]}
+clap = {version = "4.1.4", 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.9"
+env_logger = "0.10"
 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/workflow/status/ellmau/adf-obdd/Code%20coverage%20with%20tarpaulin) 
+![GitHub Workflow Status](https://img.shields.io/github/actions/workflow/status/ellmau/adf-obdd/codecov.yml?branch=main)
 [![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(
-        "The argument '--lx' cannot be used with '--an'",
+        "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.1"
+nom = "7.1.3"
 lexical-sort = "0.3.1"
 serde = { version = "1.0", features = ["derive","rc"] }
 serde_json = "1.0"
-biodivine-lib-bdd = "0.4.1"
+biodivine-lib-bdd = "0.4.2"
 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.9"
+env_logger = "0.10"
 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/workflow/status/ellmau/adf-obdd/Code%20coverage%20with%20tarpaulin)
+![GitHub Workflow Status](https://img.shields.io/github/actions/workflow/status/ellmau/adf-obdd/codecov.yml?branch=main)
 [![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	d0d7c2a712	Animate graph changes	2023-03-24 13:22:59 +01:00
monsterkrampe	441b72927d	Upgrade frontend dependencies	2023-03-24 13:22:59 +01:00
Stefan Ellmauthaler	8f3fb91573	Use unoptimised hybrid step for better presentation	2023-03-24 13:22:58 +01:00
Stefan Ellmauthaler	5d3814cbc0	Use standard example for adfs on the frontend	2023-03-24 13:22:58 +01:00
monsterkrampe	783cdec878	Support more options and multiple models	2023-03-24 13:22:58 +01:00
monsterkrampe	3f3659a98f	Fix code formatting	2023-03-24 13:22:58 +01:00
monsterkrampe	b8038dccfa	Introduce custom node type for nicer layout	2023-03-24 13:22:58 +01:00
monsterkrampe	9ab4ff3de4	Support stable model semantics with nogoods	2023-03-24 13:22:58 +01:00
monsterkrampe	f27502784a	Support multiple solving strategies	2023-03-24 13:22:58 +01:00
monsterkrampe	08dbd3d4e7	Add Dockerfile as example for server with frontend	2023-03-24 13:22:58 +01:00
monsterkrampe	b773410c50	Serve static files from './assets' directory	2023-03-24 13:22:58 +01:00
monsterkrampe	99a158a7df	Introduce features flag for localhost cors support	2023-03-24 13:22:57 +01:00
monsterkrampe	86122357a6	Make fetch endpoint depend on environment	2023-03-24 13:22:57 +01:00
monsterkrampe	dbde6b86f4	Finish basic visualization of solve response	2023-03-24 13:22:57 +01:00
monsterkrampe	cdd21f7e4f	Continue implementing basic solving endpoint	2023-03-24 13:22:57 +01:00
monsterkrampe	f796337839	Build basic ui with mui	2023-03-24 13:22:57 +01:00
monsterkrampe	e7d0de79ea	Start implementing endpoint to solve ADF on demand	2023-03-24 13:22:54 +01:00
monsterkrampe	88bc4a9100	Introduce separate server package	2023-03-24 13:19:04 +01:00
monsterkrampe	c8cf116aaf	Experiment with basic graph visualization	2023-03-24 13:19:02 +01:00
Stefan Ellmauthaler	73986437f8	Dependabot/bump (#140 ) * Bump env_logger from 0.9.1 to 0.10.0 Bumps [env_logger](https://github.com/rust-cli/env_logger) from 0.9.1 to 0.10.0. - [Release notes](https://github.com/rust-cli/env_logger/releases) - [Changelog](https://github.com/rust-cli/env_logger/blob/main/CHANGELOG.md) - [Commits](https://github.com/rust-cli/env_logger/compare/v0.9.1...v0.10.0) --- updated-dependencies: - dependency-name: env_logger dependency-type: direct:production update-type: version-update:semver-minor ... Signed-off-by: dependabot[bot] <support@github.com> * Bump biodivine-lib-bdd from 0.4.1 to 0.4.2 Bumps [biodivine-lib-bdd](https://github.com/sybila/biodivine-lib-bdd) from 0.4.1 to 0.4.2. - [Release notes](https://github.com/sybila/biodivine-lib-bdd/releases) - [Commits](https://github.com/sybila/biodivine-lib-bdd/compare/v0.4.1...v0.4.2) --- updated-dependencies: - dependency-name: biodivine-lib-bdd dependency-type: direct:production update-type: version-update:semver-patch ... Signed-off-by: dependabot[bot] <support@github.com> * Bump clap from 4.0.32 to 4.1.4 Bumps [clap](https://github.com/clap-rs/clap) from 4.0.32 to 4.1.4. - [Release notes](https://github.com/clap-rs/clap/releases) - [Changelog](https://github.com/clap-rs/clap/blob/master/CHANGELOG.md) - [Commits](https://github.com/clap-rs/clap/compare/v4.0.32...v4.1.4) --- updated-dependencies: - dependency-name: clap dependency-type: direct:production update-type: version-update:semver-minor ... Signed-off-by: dependabot[bot] <support@github.com> * Bump nom from 7.1.1 to 7.1.3 Bumps [nom](https://github.com/Geal/nom) from 7.1.1 to 7.1.3. - [Release notes](https://github.com/Geal/nom/releases) - [Changelog](https://github.com/rust-bakery/nom/blob/7.1.3/CHANGELOG.md) - [Commits](https://github.com/Geal/nom/compare/7.1.1...7.1.3) --- updated-dependencies: - dependency-name: nom dependency-type: direct:production update-type: version-update:semver-patch ... Signed-off-by: dependabot[bot] <support@github.com> --------- Signed-off-by: dependabot[bot] <support@github.com> Co-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>	2023-02-17 14:03:33 +01:00
Stefan Ellmauthaler	24c6788c9f	Update Readme files to fix breaking badge changes * Update README.md * Update bin/README.md * Update lib/README.md	2023-01-24 10:49:34 +01:00