Issues

• Introduce a "restricted count" and "restricted enumeration" methods

  sybila/ruddy#28 · Filter by author daemontus opened on Dec 16, 2025

• Consider simplifying delegation relationship

  sybila/ruddy#25 · Filter by author daemontus opened on Nov 23, 2025

• Discuss serialization details

  sybila/ruddy#24 · Filter by author daemontus opened on Jul 30, 2025

• Integrate with BDD benchmark repo

  sybila/ruddy#23 · Filter by author daemontus opened on Jul 14, 2025

• Consider a generational GC algorithm

  sybila/ruddy#22 · Filter by author daemontus opened on May 27, 2025

• Discussion question: Do "public" NodeId nad VariableId types need undefined?

  sybila/ruddy#20 · Filter by author daemontus opened on Apr 17, 2025

• Use 0 as undefined in TaskCache

  sybila/ruddy#12 · Filter by author daemontus opened on Dec 7, 2024

• Initial capacity in apply and cache reuse

  sybila/ruddy#11 · Filter by author daemontus opened on Dec 7, 2024

• Consider where to put semantic/structural equivalence

  sybila/ruddy#10 · Filter by author daemontus opened on Dec 7, 2024 · 0.1.0

• Reconsider invariants of the Bdd trait

  sybila/ruddy#8 · Filter by author daemontus opened on Dec 7, 2024 · 0.1.0

• Forced inlining

  sybila/ruddy#7 · Filter by author daemontus opened on Dec 7, 2024

• ID related safety checks

  sybila/ruddy#6 · Filter by author daemontus opened on Dec 7, 2024

• Public vs. private ID types

  sybila/ruddy#5 · Filter by author daemontus opened on Dec 7, 2024 · 0.1.0

• Visibility

  sybila/ruddy#4 · Filter by author daemontus opened on Dec 7, 2024 · 0.1.0