Skip to content

Issues: SSoelvsten/adiar

Build as a Shared Library
#200 opened Dec 18, 2021 by SSoelvsten
Open 1
Add Installation for Dependency without Submodules
#579 opened Nov 17, 2023 by SSoelvsten
Open
Thread Safety
#650 opened Apr 15, 2024 by SSoelvsten
Open
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

108 Open 193 Closed
108 Open 193 Closed
Author
Filter by author
Label
Filter by label
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Milestones
Filter by milestone
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Issues list

Docs does not show SFINAE overloading for bdd_satmin and bdd_satmax 📁 bdd Binary Decision Diagrams 📁 docs
#668 opened May 31, 2024 by SSoelvsten
@SSoelvsten
Further Optimize Initial Transposition ✨ optimisation It's all about speed / space 🎓 student programmer Work, work... 🎓 student project Work, work... but academic!
#655 opened Apr 19, 2024 by SSoelvsten
11 of 17 tasks
v2.0 : Multi-variable Quantification
Thread Safety ✨ feature New operation or other feature help wanted Extra attention is needed 🎓 student programmer Work, work... 🎓 student project Work, work... but academic!
#650 opened Apr 15, 2024 by SSoelvsten
2 tasks
v3.0 : Thread Safety
Quantification statistics : Total Number of Runs is Incorrect (Singleton Quantification) 🔥 bug Something isn't working 📁 statistics In the name of science!
#644 opened Apr 3, 2024 by SSoelvsten v2.0 : Multi-variable Quantification
1
@SSoelvsten
2
(Indifferent) Unit and Pure Literals 📁 bdd Binary Decision Diagrams ✨ feature New operation or other feature 🎓 student programmer Work, work...
#631 opened Mar 8, 2024 by SSoelvsten
8 tasks
v1.x : Other Singly-Recursive Features
Add bdd_subset, bdd_subseteq, and bdd_disjoint 📁 bdd Binary Decision Diagrams 🎓 student programmer Work, work...
#616 opened Feb 24, 2024 by SSoelvsten
3 tasks
v1.x : Other Singly-Recursive Features
Add general prod2_unary algorithm ✨ code quality Uncle Bob would be proud 📁 internal This is where the ✨magic✨happens
#614 opened Feb 19, 2024 by SSoelvsten
1 of 4 tasks
v2.2 : Variable Reordering
@SSoelvsten
1
Add make_request<...>(...) functions ✨ code quality Uncle Bob would be proud 🎓 student programmer Work, work...
#613 opened Feb 19, 2024 by SSoelvsten
3 tasks
v2.0 : API Revamp
Add tests to cover minor BDD operations and operator overloads good first issue Good for newcomers 🎓 student programmer Work, work...
#611 opened Feb 13, 2024 by SSoelvsten
10 tasks
v2.0 : API Revamp
Add Pseudo Boolean Constraints (bdd_pbc and zdd_pbc) 📁 bdd Binary Decision Diagrams ✨ feature New operation or other feature 🎓 student programmer Work, work... 🎓 student project Work, work... but academic! 📁 zdd Zero-suppressed Decision Diagrams
#604 opened Jan 8, 2024 by SSoelvsten v1.x : Other Singly-Recursive Features
Add zdd_exists and zdd_forall ✨ feature New operation or other feature 📁 zdd Zero-suppressed Decision Diagrams
#593 opened Dec 5, 2023 by SSoelvsten
2 tasks
v1.1 : Zero-suppressed Decision Diagrams
Add zdd_ite ✨ feature New operation or other feature 📁 zdd Zero-suppressed Decision Diagrams
#592 opened Dec 5, 2023 by SSoelvsten
1 task
v1.1 : Zero-suppressed Decision Diagrams
Split ptr_uint64 in two ✨ code quality Uncle Bob would be proud 📁 internal This is where the ✨magic✨happens
#587 opened Nov 28, 2023 by SSoelvsten
2 tasks
v2.0 : API Revamp
Make adiar::internal its own Module in Documentation 📁 docs
#586 opened Nov 28, 2023 by SSoelvsten
7 tasks
1
Add consumer<int> overload for bdd_satmin and bdd_satmax 📁 bdd Binary Decision Diagrams ✨ feature New operation or other feature good first issue Good for newcomers 🎓 student programmer Work, work...
#585 opened Nov 28, 2023 by SSoelvsten
3 tasks
v2.0 : API Revamp
Add Installation for Dependency without Submodules 📁 build CMake, GitHub Actions etc. ✨ feature New operation or other feature help wanted Extra attention is needed
#579 opened Nov 17, 2023 by SSoelvsten
Add generator overload to internal::file<T> and internal::file_stream<T> ✨ code quality Uncle Bob would be proud 🎓 student programmer Work, work...
#578 opened Nov 17, 2023 by SSoelvsten
5 tasks
v2.0 : API Revamp
bdd_ite : Missing unit tests 📁 bdd Binary Decision Diagrams 🎓 student programmer Work, work... 📁 test Close enough to a proof assistant
#574 opened Nov 14, 2023 by SSoelvsten
4 tasks
v1.0 : Binary Decision Diagrams
Copy 'random access' test to 'priority queue' 📁 test Close enough to a proof assistant
#570 opened Nov 8, 2023 by SSoelvsten v2.0 : Random-Access for Narrow Decision Diagrams
@Crowton
Overload API with Simple Generator Alternatives ✨ feature New operation or other feature 🎓 student programmer Work, work... 📁 zdd Zero-suppressed Decision Diagrams
#566 opened Nov 4, 2023 by SSoelvsten
1 of 5 tasks
v2.0 : API Revamp
Extend dd_reorder to Multiple Decision Diagrams ✨ feature New operation or other feature
#561 opened Nov 2, 2023 by SSoelvsten v2.2 : Variable Reordering
@SSoelvsten
Add dd_reorder for a Single Decision Diagram 📁 bdd Binary Decision Diagrams ✨ feature New operation or other feature 📁 zdd Zero-suppressed Decision Diagrams
#560 opened Nov 2, 2023 by SSoelvsten
3 tasks
v2.2 : Variable Reordering
@SSoelvsten
Add bdd_project 📁 bdd Binary Decision Diagrams ✨ feature New operation or other feature good first issue Good for newcomers 🎓 student programmer Work, work...
#558 opened Oct 28, 2023 by SSoelvsten
3 tasks
v2.0 : Multi-variable Quantification
Overload API with Ranges 📁 bdd Binary Decision Diagrams ✨ feature New operation or other feature 📁 zdd Zero-suppressed Decision Diagrams
#554 opened Oct 10, 2023 by SSoelvsten v2.0 : API Revamp
1
Add bdd_traverse 📁 bdd Binary Decision Diagrams ✨ feature New operation or other feature 🎓 student programmer Work, work... 📁 zdd Zero-suppressed Decision Diagrams
#553 opened Oct 10, 2023 by SSoelvsten
2 tasks
v1.x : Other Singly-Recursive Features
ProTip! Exclude everything labeled bug with -label:bug.