-
Notifications
You must be signed in to change notification settings - Fork 16
OpenApr 6, 2026
No due date
•Last updated Generalise and clean up API (
75% complete
List view
0 of 14 selected 0 issues of 14 selected
Discussion: Naming Convention for (Public) API
questionFurther information is requestedFurther information is requested❕ breakingversion_number++version_number++Status: Open.#542 In ssoelvsten/adiar;Additional Cleanup of
file,file_stream, andfile_writer(and levelized variants)✨ code qualityUncle Bob would be proudUncle Bob would be proud🎓 student programmerWork, work...Work, work...📁 internalThis is where the ✨magic✨happensThis is where the ✨magic✨happensStatus: Open.#445 In ssoelvsten/adiar;Add generator overload to
internal::file<T>andinternal::file_stream<T>blockedThis is to be done... another day!This is to be done... another day!wontfixThis will not be worked onThis will not be worked on✨ code qualityUncle Bob would be proudUncle Bob would be proud🎓 student programmerWork, work...Work, work...Status: Open.#578 In ssoelvsten/adiar;Add tests to cover minor BDD operations and operator overloads
good first issueGood for newcomersGood for newcomers🎓 student programmerWork, work...Work, work...Status: Open.#611 In ssoelvsten/adiar;Replace
std::stringwithstd::filesystem::pathfor file pathsgood first issueGood for newcomersGood for newcomers✨ code qualityUncle Bob would be proudUncle Bob would be proud🎓 student programmerWork, work...Work, work...Status: Open.#705 In ssoelvsten/adiar;Add
consumer<int>overload forbdd_satminandbdd_satmaxgood first issueGood for newcomersGood for newcomers✨ featureNew operation or other featureNew operation or other feature🎓 student programmerWork, work...Work, work...📁 bddBinary Decision DiagramsBinary Decision DiagramsStatus: Open.#585 In ssoelvsten/adiar;Make
bdd_topvar(),bdd_minvar(), andbdd_maxvar()not throw on terminalsgood first issueGood for newcomersGood for newcomers✨ code qualityUncle Bob would be proudUncle Bob would be proud📁 bddBinary Decision DiagramsBinary Decision DiagramsStatus: Open.#707 In ssoelvsten/adiar;Improve legibility of
bdd_support(earlierbdd_varprofile)✨ featureNew operation or other featureNew operation or other feature🎓 student programmerWork, work...Work, work...📁 bddBinary Decision DiagramsBinary Decision Diagrams📁 zddZero-suppressed Decision DiagramsZero-suppressed Decision DiagramsStatus: Open.#552 In ssoelvsten/adiar;Add
make_request<...>(...)functionsgood first issueGood for newcomersGood for newcomers✨ code qualityUncle Bob would be proudUncle Bob would be proud🎓 student programmerWork, work...Work, work...Status: Open.#613 In ssoelvsten/adiar;Split
ptr_uint64in twogood first issueGood for newcomersGood for newcomers✨ code qualityUncle Bob would be proudUncle Bob would be proud🎓 student programmerWork, work...Work, work...📁 internalThis is where the ✨magic✨happensThis is where the ✨magic✨happensStatus: Open.#587 In ssoelvsten/adiar;Generalise API to use Assignment Functions / Generators
✨ featureNew operation or other featureNew operation or other feature🎓 student programmerWork, work...Work, work...📁 bddBinary Decision DiagramsBinary Decision DiagramsStatus: Open.#452 In ssoelvsten/adiar;Overload API with Symbolic Sets of Variables
good first issueGood for newcomersGood for newcomers✨ featureNew operation or other featureNew operation or other feature🎓 student programmerWork, work...Work, work...📁 bddBinary Decision DiagramsBinary Decision Diagrams📁 zddZero-suppressed Decision DiagramsZero-suppressed Decision DiagramsStatus: Open.#519 In ssoelvsten/adiar;Overload API with Simple Generator Alternatives
good first issueGood for newcomersGood for newcomers✨ featureNew operation or other featureNew operation or other feature🎓 student programmerWork, work...Work, work...📁 zddZero-suppressed Decision DiagramsZero-suppressed Decision DiagramsStatus: Open.#566 In ssoelvsten/adiar;Overload API with Ranges
✨ featureNew operation or other featureNew operation or other feature📁 bddBinary Decision DiagramsBinary Decision Diagrams📁 zddZero-suppressed Decision DiagramsZero-suppressed Decision DiagramsStatus: Open.#554 In ssoelvsten/adiar;