ellmau/adf-obdd issues and pull requests

#89 - Prepare files to publish the adf-bdd-bin package

Pull Request - State: closed - Opened by ellmau over 2 years ago
Labels: binary

#88 - Three valued NoGood representation

Issue - State: open - Opened by ellmau over 2 years ago
Labels: enhancement, library

#87 - Bump serde from 1.0.137 to 1.0.141

Pull Request - State: closed - Opened by dependabot[bot] over 2 years ago - 1 comment
Labels: dependencies

#86 - Create combine-prs.yml

Pull Request - State: closed - Opened by ellmau over 2 years ago
Labels: repository

#85 - Bump serde from 1.0.137 to 1.0.140

Pull Request - State: closed - Opened by dependabot[bot] over 2 years ago - 2 comments
Labels: dependencies

#84 - Bump test-log from 0.2.10 to 0.2.11

Pull Request - State: closed - Opened by dependabot[bot] over 2 years ago - 2 comments
Labels: dependencies

#83 - Bump clap from 3.2.12 to 3.2.16

Pull Request - State: closed - Opened by dependabot[bot] over 2 years ago - 2 comments
Labels: dependencies

#82 - Create a better landing-page

Issue - State: open - Opened by ellmau over 2 years ago
Labels: documentation, repository

#81 - Update Documentation navigation

Pull Request - State: closed - Opened by ellmau over 2 years ago

#80 - Thread-safe BDD access

Issue - State: closed - Opened by ellmau over 2 years ago
Labels: enhancement, library

#79 - Nogood-Learning for complete semantics (3-valued)

Issue - State: open - Opened by ellmau over 2 years ago
Labels: enhancement, library

#78 - Bump clap from 3.1.18 to 3.2.2 -> 3.2.12

Pull Request - State: closed - Opened by dependabot[bot] over 2 years ago
Labels: dependencies, binary

#77 - Bump serde_json from 1.0.81 to 1.0.82

Pull Request - State: closed - Opened by dependabot[bot] over 2 years ago - 1 comment
Labels: dependencies

#76 - Frontend would be a good addition

Issue - State: closed - Opened by ellmau over 2 years ago
Labels: enhancement, binary

#75 - Streamlined output of logging information

Issue - State: open - Opened by ellmau over 2 years ago
Labels: enhancement, good first issue, library

#74 - milestone/nogoods

Pull Request - State: closed - Opened by ellmau over 2 years ago - 1 comment
Labels: enhancement, binary, library, RC

#73 - Alternative NoGoodLearning with the newly created NoGood representations

Issue - State: closed - Opened by ellmau over 2 years ago
Labels: enhancement, library

#72 - Bump regex from 1.5.4 to 1.5.6

Pull Request - State: closed - Opened by dependabot[bot] over 2 years ago - 1 comment
Labels: dependencies

#71 - Bump log from 0.4.16 to 0.4.17

Pull Request - State: closed - Opened by dependabot[bot] over 2 years ago - 1 comment
Labels: dependencies

#70 - Bump biodivine-lib-bdd from 0.3.0 to 0.4.0

Pull Request - State: closed - Opened by dependabot[bot] over 2 years ago - 1 comment
Labels: dependencies

#69 - Bump serde_json from 1.0.80 to 1.0.81

Pull Request - State: closed - Opened by dependabot[bot] over 2 years ago - 1 comment
Labels: dependencies

#68 - Bump clap from 3.1.14 to 3.1.18

Pull Request - State: closed - Opened by dependabot[bot] over 2 years ago - 1 comment
Labels: dependencies

#67 - Bump flake and update to rust 1.61

Pull Request - State: closed - Opened by ellmau over 2 years ago
Labels: repository

#66 - Use nix-envrc, Bump flake

Pull Request - State: closed - Opened by ellmau over 2 years ago
Labels: repository

#65 - Add NoGood and NoGoodStore

Pull Request - State: closed - Opened by ellmau over 2 years ago
Labels: enhancement, library

#64 - Representation of nogoods

Issue - State: closed - Opened by ellmau over 2 years ago
Labels: enhancement, library

#63 - milestone/frontend

Pull Request - State: closed - Opened by ellmau over 2 years ago - 4 comments
Labels: repository, library, server

#62 - Add CI for develop branch

Pull Request - State: closed - Opened by ellmau almost 3 years ago - 1 comment
Labels: repository

#61 - Add badges to readme

Pull Request - State: closed - Opened by ellmau almost 3 years ago

#60 - Bump serde_json from 1.0.79 to 1.0.80

Pull Request - State: closed - Opened by dependabot[bot] almost 3 years ago - 1 comment
Labels: dependencies

#59 - Bump clap from 3.1.8 to 3.1.14

Pull Request - State: closed - Opened by dependabot[bot] almost 3 years ago - 1 comment
Labels: dependencies

#58 - Bump serde from 1.0.136 to 1.0.137

Pull Request - State: closed - Opened by dependabot[bot] almost 3 years ago - 1 comment
Labels: dependencies

#57 - Fix link location in all readme files for KBS

Pull Request - State: closed - Opened by ellmau almost 3 years ago

#56 - Documentation/acks

Pull Request - State: closed - Opened by ellmau almost 3 years ago

#55 - Add acknowledgements

Pull Request - State: closed - Opened by ellmau almost 3 years ago

#53 - Update crates.io usage for the binary

Pull Request - State: closed - Opened by ellmau almost 3 years ago
Labels: binary

#52 - change license

Pull Request - State: closed - Opened by ellmau almost 3 years ago

#51 - Polish documentation

Pull Request - State: closed - Opened by ellmau almost 3 years ago
Labels: documentation, library

#50 - Bump flake

Pull Request - State: closed - Opened by ellmau almost 3 years ago
Labels: repository

#49 - Update rust-analyzer, Bump flake

Pull Request - State: closed - Opened by ellmau almost 3 years ago
Labels: repository

#33 - Proof reading the documentation

Issue - State: closed - Opened by ellmau almost 3 years ago - 1 comment
Labels: documentation, library

#31 - Feature/issue 30 facet counting

Pull Request - State: closed - Opened by drwadu almost 3 years ago

#10 - Output Ordering

Issue - State: open - Opened by ellmau about 3 years ago - 1 comment
Labels: good first issue, binary, library

#8 - Inefficient and slow instantiation of OBDDs on complex XOR formulae

Issue - State: closed - Opened by ellmau about 3 years ago - 1 comment
Labels: enhancement, help wanted, wontfix

GitHub / ellmau/adf-obdd issues and pull requests