milestone/nogoods

.gitignore

@@ -21,3 +21,9 @@ tramp
 *_flymake*
 
 /tests/out/
+
+# Ignore direnv data
+/.direnv/
+
+# ignore perfdata
+perf.data

README.md

@@ -139,7 +139,7 @@ the Bundesministerium für Bildung und Forschung (BMBF, Federal Ministry of Educ
 and by the [Center for Advancing Electronics Dresden](https://cfaed.tu-dresden.de) (cfaed).
 
 # Affiliation 
-This work has been party developed by the [Knowledge-Based Systems Group](http://kbs.inf.tu-dresden.de/), [Faculty of Computer Science](https://tu-dresden.de/ing/informatik)  of [TU Dresden](https://tu-dresden.de).
+This work has been partly developed by the [Knowledge-Based Systems Group](http://kbs.inf.tu-dresden.de/), [Faculty of Computer Science](https://tu-dresden.de/ing/informatik)  of [TU Dresden](https://tu-dresden.de).
 
 # Disclaimer
 Hosting content here does not establish any formal or legal relation to TU Dresden

bin/README.md

@@ -121,7 +121,7 @@ the Bundesministerium für Bildung und Forschung (BMBF, Federal Ministry of Educ
 and by the [Center for Advancing Electronics Dresden](https://cfaed.tu-dresden.de) (cfaed).
 
 # Affiliation 
-This work has been party developed by the [Knowledge-Based Systems Group](http://kbs.inf.tu-dresden.de/), [Faculty of Computer Science](https://tu-dresden.de/ing/informatik)  of [TU Dresden](https://tu-dresden.de).
+This work has been partly developed by the [Knowledge-Based Systems Group](http://kbs.inf.tu-dresden.de/), [Faculty of Computer Science](https://tu-dresden.de/ing/informatik)  of [TU Dresden](https://tu-dresden.de).
 
 # Disclaimer
 Hosting content here does not establish any formal or legal relation to TU Dresden

flake.nix

@@ -2,21 +2,23 @@
   description = "basic rust flake";
 
   inputs = {
-    nixpkgs.url = "github:NixOS/nixpkgs/nixos-21.11";
+    nixpkgs.url = "github:NixOS/nixpkgs/nixos-22.05";
     nixpkgs-unstable.url = "github:NixOS/nixpkgs/nixos-unstable";
-    rust-overlay.url = "github:oxalica/rust-overlay";
-    flake-utils.url = "github:numtide/flake-utils";
-    flake-compat = {
-      url = "github:edolstra/flake-compat";
-      flake = false;
+    rust-overlay = {
+      url = "github:oxalica/rust-overlay";
+      inputs = {
+        nixpkgs.follows = "nixpkgs";
+        flake-utils.follows = "flake-utils";
+      };
     };
+    flake-utils.url = "github:numtide/flake-utils";
     gitignoresrc = {
       url = "github:hercules-ci/gitignore.nix";
       flake = false;
     };
   };
 
-  outputs = { self, nixpkgs, nixpkgs-unstable, flake-utils, flake-compat, gitignoresrc, rust-overlay, ... }@inputs:
+  outputs = { self, nixpkgs, nixpkgs-unstable, flake-utils, gitignoresrc, rust-overlay, ... }@inputs:
     {
       #overlay = import ./nix { inherit gitignoresrc; };
     } // (flake-utils.lib.eachDefaultSystem (system:
@@ -33,13 +35,15 @@
             RUST_LOG = "debug";
             RUST_BACKTRACE = 1;
             buildInputs = [
-              pkgs.rust-bin.nightly.latest.rustfmt
+              pkgs.rust-bin.stable.latest.rustfmt
               pkgs.rust-bin.stable.latest.default
-              unstable.rust-analyzer
+              pkgs.rust-analyzer
               pkgs.cargo-audit
               pkgs.cargo-license
               pkgs.cargo-tarpaulin
               pkgs.cargo-kcov
+              pkgs.valgrind
+              pkgs.gnuplot
               pkgs.kcov
             ];
           };

lib/Cargo.toml

@@ -1,6 +1,6 @@
 [package]
 name = "adf_bdd"
-version = "0.2.4"
+version = "0.2.5"
 authors = ["Stefan Ellmauthaler <[email protected]>"]
 edition = "2021"
 homepage = "https://ellmau.github.io/adf-obdd/"
@@ -30,6 +30,7 @@ serde = { version = "1.0", features = ["derive","rc"] }
 serde_json = "1.0"
 biodivine-lib-bdd = "0.4.0"
 derivative = "2.2.0"
+roaring = "0.9.0"
 
 [dev-dependencies]
 test-log = "0.2"

lib/README.md

@@ -129,7 +129,7 @@ the Bundesministerium für Bildung und Forschung (BMBF, Federal Ministry of Educ
 and by the [Center for Advancing Electronics Dresden](https://cfaed.tu-dresden.de) (cfaed).
 
 # Affiliation 
-This work has been party developed by the [Knowledge-Based Systems Group](http://kbs.inf.tu-dresden.de/), [Faculty of Computer Science](https://tu-dresden.de/ing/informatik)  of [TU Dresden](https://tu-dresden.de).
+This work has been partly developed by the [Knowledge-Based Systems Group](http://kbs.inf.tu-dresden.de/), [Faculty of Computer Science](https://tu-dresden.de/ing/informatik)  of [TU Dresden](https://tu-dresden.de).
 
 # Disclaimer
 Hosting content here does not establish any formal or legal relation to TU Dresden