Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / ellmau/adf-obdd issues and pull requests
#192 - Bump h2 from 0.3.20 to 0.3.26
Pull Request -
State: open - Opened by dependabot[bot] 10 months ago
Labels: dependencies, rust
#191 - Bump mongodb from 2.6.0 to 2.8.2
Pull Request -
State: open - Opened by dependabot[bot] 10 months ago
Labels: dependencies, rust
#190 - Bump strum from 0.24.1 to 0.26.2
Pull Request -
State: open - Opened by dependabot[bot] 10 months ago
Labels: dependencies, rust
#189 - Bump mio from 0.8.8 to 0.8.11
Pull Request -
State: open - Opened by dependabot[bot] 11 months ago
Labels: dependencies, rust
#188 - Bump mongodb from 2.6.0 to 2.8.1
Pull Request -
State: closed - Opened by dependabot[bot] 11 months ago
- 1 comment
Labels: dependencies, rust
#187 - Bump clap from 4.3.19 to 4.4.18
Pull Request -
State: open - Opened by dependabot[bot] 12 months ago
Labels: dependencies, rust
#186 - Bump strum from 0.24.1 to 0.26.1
Pull Request -
State: closed - Opened by dependabot[bot] 12 months ago
- 1 comment
Labels: dependencies, rust
#185 - Bump h2 from 0.3.20 to 0.3.24
Pull Request -
State: closed - Opened by dependabot[bot] about 1 year ago
- 1 comment
Labels: dependencies, rust
#184 - Fix bug introduced by 530fb5c
Pull Request -
State: closed - Opened by ellmau about 1 year ago
Labels: bug, server, rust
#183 - Bump mongodb from 2.6.0 to 2.8.0
Pull Request -
State: closed - Opened by dependabot[bot] about 1 year ago
- 1 comment
Labels: dependencies, rust
#182 - Bump webpki from 0.22.0 to 0.22.4
Pull Request -
State: open - Opened by dependabot[bot] about 1 year ago
Labels: dependencies, rust
#181 - Bump serde_json from 1.0.104 to 1.0.109
Pull Request -
State: open - Opened by dependabot[bot] about 1 year ago
Labels: dependencies, rust
#180 - Bump clap from 4.3.19 to 4.4.13
Pull Request -
State: closed - Opened by dependabot[bot] about 1 year ago
- 1 comment
Labels: dependencies, rust
#179 - Fix/clippy
Pull Request -
State: closed - Opened by ellmau about 1 year ago
Labels: repository, library, server
#178 - Bump clap from 4.3.19 to 4.4.7
Pull Request -
State: closed - Opened by dependabot[bot] about 1 year ago
- 2 comments
Labels: dependencies, rust
#177 - Bump serde_json from 1.0.104 to 1.0.108
Pull Request -
State: closed - Opened by dependabot[bot] about 1 year ago
- 2 comments
Labels: dependencies, rust
#176 - Bump webpki from 0.22.0 to 0.22.2
Pull Request -
State: closed - Opened by dependabot[bot] over 1 year ago
- 2 comments
Labels: dependencies, rust
#175 - Bump clap from 4.3.19 to 4.4.6
Pull Request -
State: closed - Opened by dependabot[bot] over 1 year ago
- 1 comment
Labels: dependencies, rust
#174 - Bump serde_json from 1.0.104 to 1.0.107
Pull Request -
State: closed - Opened by dependabot[bot] over 1 year ago
- 1 comment
Labels: dependencies, rust
#173 - Bump mongodb from 2.6.0 to 2.7.0
Pull Request -
State: closed - Opened by dependabot[bot] over 1 year ago
- 2 comments
Labels: dependencies, rust
#172 - Bump aes-gcm from 0.10.2 to 0.10.3
Pull Request -
State: open - Opened by dependabot[bot] over 1 year ago
- 1 comment
Labels: dependencies, rust
#171 - Bump serde_json from 1.0.104 to 1.0.105
Pull Request -
State: closed - Opened by dependabot[bot] over 1 year ago
- 1 comment
Labels: dependencies, rust
#170 - Bump mongodb from 2.6.0 to 2.6.1
Pull Request -
State: closed - Opened by dependabot[bot] over 1 year ago
- 1 comment
Labels: dependencies, rust
#169 - Bump strum from 0.24.1 to 0.25.0
Pull Request -
State: closed - Opened by dependabot[bot] over 1 year ago
- 2 comments
Labels: dependencies, rust
#168 - Bump actix-multipart from 0.6.0 to 0.6.1
Pull Request -
State: open - Opened by dependabot[bot] over 1 year ago
- 1 comment
Labels: dependencies, rust
#167 - Bump clap from 4.3.19 to 4.4.2
Pull Request -
State: closed - Opened by dependabot[bot] over 1 year ago
- 1 comment
Labels: dependencies, rust
#166 - Bump serde from 1.0.180 to 1.0.181
Pull Request -
State: closed - Opened by dependabot[bot] over 1 year ago
- 2 comments
Labels: dependencies, rust
#165 - Bump semver from 6.3.0 to 6.3.1 in /frontend
Pull Request -
State: closed - Opened by dependabot[bot] over 1 year ago
- 1 comment
Labels: dependencies, javascript
#164 - Upgrade dependencies
Pull Request -
State: closed - Opened by monsterkrampe over 1 year ago
Labels: enhancement, dependencies
#163 - Fix typo in info text
Pull Request -
State: closed - Opened by monsterkrampe over 1 year ago
- 2 comments
Labels: bug, documentation, javascript
#162 - Bump clap from 4.3.0 to 4.3.19
Pull Request -
State: closed - Opened by dependabot[bot] over 1 year ago
- 2 comments
Labels: dependencies, rust
#161 - Bump serde_json from 1.0.96 to 1.0.104
Pull Request -
State: closed - Opened by dependabot[bot] over 1 year ago
- 2 comments
Labels: dependencies, rust
#160 - Bump word-wrap from 1.2.3 to 1.2.4 in /frontend
Pull Request -
State: closed - Opened by dependabot[bot] over 1 year ago
- 2 comments
Labels: dependencies, javascript
#159 - Bump semver from 5.7.1 to 5.7.2 in /frontend
Pull Request -
State: closed - Opened by dependabot[bot] over 1 year ago
- 2 comments
Labels: dependencies, javascript
#158 - Bump serde_json from 1.0.96 to 1.0.99
Pull Request -
State: closed - Opened by dependabot[bot] over 1 year ago
- 1 comment
Labels: dependencies, rust
#157 - Bump biodivine-lib-bdd from 0.5.0 to 0.5.1
Pull Request -
State: closed - Opened by dependabot[bot] over 1 year ago
- 2 comments
Labels: dependencies, rust
#156 - Bump clap from 4.3.0 to 4.3.10
Pull Request -
State: closed - Opened by dependabot[bot] over 1 year ago
- 1 comment
Labels: dependencies, rust
#155 - Add flake app and packages for adf-bdd
Pull Request -
State: closed - Opened by ellmau over 1 year ago
- 1 comment
Labels: repository
#154 - Bump serde from 1.0.163 to 1.0.164
Pull Request -
State: closed - Opened by dependabot[bot] over 1 year ago
- 2 comments
Labels: dependencies, rust
#153 - Bump clap from 4.3.0 to 4.3.2
Pull Request -
State: closed - Opened by dependabot[bot] over 1 year ago
- 1 comment
Labels: dependencies, rust
#152 - Bump/versions
Pull Request -
State: closed - Opened by ellmau over 1 year ago
Labels: dependencies, repository, rust
#151 - Bump predicates from 2.1.5 to 3.0.3
Pull Request -
State: closed - Opened by dependabot[bot] over 1 year ago
- 1 comment
Labels: dependencies, rust
#150 - Bump clap from 4.2.7 to 4.3.0
Pull Request -
State: closed - Opened by dependabot[bot] over 1 year ago
- 1 comment
Labels: dependencies, rust
#149 - Bump serde from 1.0.162 to 1.0.163
Pull Request -
State: closed - Opened by dependabot[bot] over 1 year ago
- 1 comment
Labels: dependencies, rust
#148 - Update Cargo.lock
Pull Request -
State: closed - Opened by monsterkrampe over 1 year ago
- 2 comments
Labels: dependencies, rust
#147 - Bump h2 from 0.3.16 to 0.3.18
Pull Request -
State: closed - Opened by dependabot[bot] over 1 year ago
- 1 comment
Labels: dependencies, rust
#146 - Update dependencies in yarn.lock
Pull Request -
State: closed - Opened by monsterkrampe over 1 year ago
Labels: dependencies, javascript
#145 - Bump json5 from 1.0.1 to 1.0.2 in /frontend
Pull Request -
State: closed - Opened by dependabot[bot] over 1 year ago
- 1 comment
Labels: dependencies, javascript
#144 - Bump clap from 4.1.4 to 4.1.8
Pull Request -
State: closed - Opened by dependabot[bot] almost 2 years ago
- 1 comment
Labels: dependencies
#143 - Bump crossbeam-channel from 0.5.6 to 0.5.7
Pull Request -
State: closed - Opened by dependabot[bot] almost 2 years ago
- 2 comments
Labels: dependencies
#142 - Bump serde_json from 1.0.91 to 1.0.93
Pull Request -
State: closed - Opened by dependabot[bot] almost 2 years ago
- 1 comment
Labels: dependencies
#141 - Bump clap from 4.1.4 to 4.1.6
Pull Request -
State: closed - Opened by dependabot[bot] almost 2 years ago
- 1 comment
Labels: dependencies
#140 - Dependabot/bump
Pull Request -
State: closed - Opened by ellmau almost 2 years ago
#139 - Bump nom from 7.1.1 to 7.1.3
Pull Request -
State: closed - Opened by dependabot[bot] almost 2 years ago
- 1 comment
Labels: dependencies
#138 - Bump clap from 4.0.32 to 4.1.4
Pull Request -
State: closed - Opened by dependabot[bot] almost 2 years ago
- 1 comment
Labels: dependencies
#137 - Bump biodivine-lib-bdd from 0.4.1 to 0.4.2
Pull Request -
State: closed - Opened by dependabot[bot] almost 2 years ago
- 1 comment
Labels: dependencies
#136 - Bump env_logger from 0.9.1 to 0.10.0
Pull Request -
State: closed - Opened by dependabot[bot] almost 2 years ago
- 1 comment
Labels: dependencies
#135 - Update README.md
Pull Request -
State: closed - Opened by ellmau almost 2 years ago
Labels: bug, documentation, binary, library
#134 - Update README badges
Pull Request -
State: closed - Opened by ellmau almost 2 years ago
#133 - Update/depbot flake
Pull Request -
State: closed - Opened by ellmau about 2 years ago
#132 - Bump assert_fs from 1.0.7 to 1.0.10
Pull Request -
State: closed - Opened by dependabot[bot] about 2 years ago
- 1 comment
Labels: dependencies
#131 - Bump clap from 4.0.18 to 4.0.32
Pull Request -
State: closed - Opened by dependabot[bot] about 2 years ago
- 1 comment
Labels: dependencies
#130 - Bump serde_json from 1.0.87 to 1.0.91
Pull Request -
State: closed - Opened by dependabot[bot] about 2 years ago
- 1 comment
Labels: dependencies
#129 - Bump serde from 1.0.147 to 1.0.152
Pull Request -
State: closed - Opened by dependabot[bot] about 2 years ago
- 1 comment
Labels: dependencies
#128 - Bump predicates from 2.1.1 to 2.1.5
Pull Request -
State: closed - Opened by dependabot[bot] about 2 years ago
- 1 comment
Labels: dependencies
#127 - Bump clap from 4.0.18 to 4.0.29
Pull Request -
State: closed - Opened by dependabot[bot] about 2 years ago
- 1 comment
Labels: dependencies
#126 - Bump serde_json from 1.0.87 to 1.0.89
Pull Request -
State: closed - Opened by dependabot[bot] about 2 years ago
- 1 comment
Labels: dependencies
#125 - Bump predicates from 2.1.1 to 2.1.3
Pull Request -
State: closed - Opened by dependabot[bot] about 2 years ago
- 1 comment
Labels: dependencies
#124 - Bump serde from 1.0.147 to 1.0.148
Pull Request -
State: closed - Opened by dependabot[bot] about 2 years ago
- 1 comment
Labels: dependencies
#123 - Bump assert_fs from 1.0.7 to 1.0.9
Pull Request -
State: closed - Opened by dependabot[bot] about 2 years ago
- 1 comment
Labels: dependencies
#122 - Bump clap from 4.0.18 to 4.0.24
Pull Request -
State: closed - Opened by dependabot[bot] about 2 years ago
- 1 comment
Labels: dependencies
#121 - Dependabot/bump
Pull Request -
State: closed - Opened by ellmau about 2 years ago
Labels: dependencies, binary, library
#120 - Bump serde_json from 1.0.85 to 1.0.87
Pull Request -
State: closed - Opened by dependabot[bot] about 2 years ago
- 1 comment
Labels: dependencies
#119 - Bump clap from 4.0.9 to 4.0.18
Pull Request -
State: closed - Opened by dependabot[bot] about 2 years ago
- 1 comment
Labels: dependencies
#118 - Bump assert_cmd from 2.0.4 to 2.0.5
Pull Request -
State: closed - Opened by dependabot[bot] about 2 years ago
- 1 comment
Labels: dependencies
#117 - Bump serde from 1.0.145 to 1.0.147
Pull Request -
State: closed - Opened by dependabot[bot] about 2 years ago
- 1 comment
Labels: dependencies
#116 - Bump biodivine-lib-bdd from 0.4.0 to 0.4.1
Pull Request -
State: closed - Opened by dependabot[bot] about 2 years ago
- 1 comment
Labels: dependencies
#115 - Restrict with list of variable values
Issue -
State: closed - Opened by ellmau over 2 years ago
- 1 comment
Labels: enhancement, wontfix, library, optimisation
#114 - Bump clap from 4.0.7 to 4.0.9
Pull Request -
State: closed - Opened by dependabot[bot] over 2 years ago
- 1 comment
Labels: dependencies
#113 - Dependabot/bump
Pull Request -
State: closed - Opened by ellmau over 2 years ago
Labels: dependencies
#112 - Bump roaring from 0.9.0 to 0.10.1
Pull Request -
State: closed - Opened by dependabot[bot] over 2 years ago
- 1 comment
Labels: dependencies
#111 - Bump env_logger from 0.9.0 to 0.9.1
Pull Request -
State: closed - Opened by dependabot[bot] over 2 years ago
- 1 comment
Labels: dependencies
#110 - Bump serde from 1.0.144 to 1.0.145
Pull Request -
State: closed - Opened by dependabot[bot] over 2 years ago
- 1 comment
Labels: dependencies
#109 - Bump clap from 3.2.20 to 4.0.7
Pull Request -
State: closed - Opened by dependabot[bot] over 2 years ago
- 1 comment
Labels: dependencies
#108 - Bump clap from 3.2.19 to 3.2.20
Pull Request -
State: closed - Opened by dependabot[bot] over 2 years ago
- 1 comment
Labels: dependencies
#107 - Dependabot/2022sep06 merge
Pull Request -
State: closed - Opened by ellmau over 2 years ago
#106 - Bump serde_json from 1.0.82 to 1.0.85
Pull Request -
State: closed - Opened by dependabot[bot] over 2 years ago
- 1 comment
Labels: dependencies
#105 - Bump clap from 3.2.16 to 3.2.19
Pull Request -
State: closed - Opened by dependabot[bot] over 2 years ago
- 1 comment
Labels: dependencies
#104 - Bump serde from 1.0.141 to 1.0.144
Pull Request -
State: closed - Opened by dependabot[bot] over 2 years ago
- 1 comment
Labels: dependencies
#103 - Fix/restrict slow
Pull Request -
State: closed - Opened by ellmau over 2 years ago
#102 - slow restrict functionality
Issue -
State: closed - Opened by ellmau over 2 years ago
Labels: bug
#101 - Add cache to ite and restrict
Pull Request -
State: closed - Opened by ellmau over 2 years ago
Labels: enhancement, library, optimisation
#100 - Analysis of recursion reduction
Issue -
State: open - Opened by ellmau over 2 years ago
Labels: enhancement, library
#99 - Efficient usage of caches for BDDs
Issue -
State: closed - Opened by ellmau over 2 years ago
Labels: enhancement, library
#97 - Use random-heuristics from the library in the binary
Issue -
State: open - Opened by ellmau over 2 years ago
- 1 comment
Labels: enhancement, good first issue, binary
#96 - Add a random heuristic, based on rand-crate
Pull Request -
State: closed - Opened by ellmau over 2 years ago
Labels: enhancement, library
#95 - Add a channel to inform other threads about bdd updates
Pull Request -
State: closed - Opened by ellmau over 2 years ago
Labels: enhancement, dependencies, library
#94 - Restore rust 1.62.1 conformity
Pull Request -
State: closed - Opened by ellmau over 2 years ago
#92 - Rust 1.61 conformity
Pull Request -
State: closed - Opened by ellmau over 2 years ago
#91 - Update build.yml
Pull Request -
State: closed - Opened by ellmau over 2 years ago