-
Notifications
You must be signed in to change notification settings - Fork 1
Issues
is:issue state:open
is:issue state:open
Issue creation is restricted in this repository
Search results
Generalized Binary Serialization in the Manager for all Decision Diagrams
Kind: EnhancementNew feature or requestNew feature or requestPriority: MediumUseful to resolve, but not urgentUseful to resolve, but not urgentSize: ModerateMedium complexity, suitable for more experienced developersMedium complexity, suitable for more experienced developersStatus: Open.#46 In runekrauss/freddy;No multithreading support in synthesis algorithms
Kind: PerformanceFocused on speed or memoryFocused on speed or memoryPriority: MediumUseful to resolve, but not urgentUseful to resolve, but not urgentSize: LargeA challenging task that requires deep expertiseA challenging task that requires deep expertiseStatus: Open.#40 In runekrauss/freddy;BHDs are not dynamically configurable
Kind: EnhancementNew feature or requestNew feature or requestPriority: MediumUseful to resolve, but not urgentUseful to resolve, but not urgentSize: Good First IssueEasy to get started, good for newcomersEasy to get started, good for newcomersStatus: Open.#39 In runekrauss/freddy;No zero-suppressed decision diagram implemented
Kind: EnhancementNew feature or requestNew feature or requestPriority: LowMinimal urgency or nice-to-haveMinimal urgency or nice-to-haveSize: Good First IssueEasy to get started, good for newcomersEasy to get started, good for newcomersStatus: Open.#38 In runekrauss/freddy;picture test for ADDs
Kind: TestTests are insufficient or missingTests are insufficient or missingPriority: MediumUseful to resolve, but not urgentUseful to resolve, but not urgentSize: ModerateMedium complexity, suitable for more experienced developersMedium complexity, suitable for more experienced developersStatus: Open.#37 In runekrauss/freddy;Dead DDs are not continuously counted
Kind: PerformanceFocused on speed or memoryFocused on speed or memoryPriority: MediumUseful to resolve, but not urgentUseful to resolve, but not urgentSize: LargeA challenging task that requires deep expertiseA challenging task that requires deep expertiseStatus: Open.#36 In runekrauss/freddy;Cache collision resolution
Kind: PerformanceFocused on speed or memoryFocused on speed or memoryPriority: MediumUseful to resolve, but not urgentUseful to resolve, but not urgentSize: LargeA challenging task that requires deep expertiseA challenging task that requires deep expertiseStatus: Open.#35 In runekrauss/freddy;Code duplication in DD wrapper
Kind: EnhancementNew feature or requestNew feature or requestPriority: MediumUseful to resolve, but not urgentUseful to resolve, but not urgentSize: Good First IssueEasy to get started, good for newcomersEasy to get started, good for newcomersStatus: Open.#34 In runekrauss/freddy;Possible inconsistency in manager inheritance template parameters
Kind: EnhancementNew feature or requestNew feature or requestPriority: LowMinimal urgency or nice-to-haveMinimal urgency or nice-to-haveSize: ModerateMedium complexity, suitable for more experienced developersMedium complexity, suitable for more experienced developersStatus: Open.#33 In runekrauss/freddy;Potentially confusing constant counting
Kind: BugSomething isn't workingSomething isn't workingPriority: MediumUseful to resolve, but not urgentUseful to resolve, but not urgentSize: Good First IssueEasy to get started, good for newcomersEasy to get started, good for newcomersStatus: Open.#32 In runekrauss/freddy;Real cofactor not computed for Davio expansion
Kind: EnhancementNew feature or requestNew feature or requestPriority: LowMinimal urgency or nice-to-haveMinimal urgency or nice-to-haveSize: Good First IssueEasy to get started, good for newcomersEasy to get started, good for newcomersStatus: Open.#31 In runekrauss/freddy;Community standards checklist incomplete
Kind: DocumentationImprovements or additions to documentationImprovements or additions to documentationPriority: LowMinimal urgency or nice-to-haveMinimal urgency or nice-to-haveSize: ModerateMedium complexity, suitable for more experienced developersMedium complexity, suitable for more experienced developersStatus: Open.#30 In runekrauss/freddy;