Search results

Discuss serialization details

Status: Open.

#24 In sybila/ruddy;

· daemontus opened on Jul 30, 2025

Integrate with BDD benchmark repo

Status: Open.

#23 In sybila/ruddy;

· daemontus opened on Jul 14, 2025

Consider a generational GC algorithm

Status: Open.

#22 In sybila/ruddy;

· daemontus opened on May 27, 2025

Discussion question: Do "public" <code>NodeId</code> nad <code>VariableId</code> types need <code>undefined</code>?

Status: Open.

#20 In sybila/ruddy;

· daemontus opened on Apr 17, 2025

Use <code>0</code> as <code>undefined</code> in <code>TaskCache</code>

Status: Open.

#12 In sybila/ruddy;

· daemontus opened on Dec 7, 2024

Initial capacity in <code>apply</code> and cache reuse

Status: Open.

#11 In sybila/ruddy;

· daemontus opened on Dec 7, 2024

Consider where to put semantic/structural equivalence

Status: Open.

#10 In sybila/ruddy;

· daemontus opened on Dec 7, 2024

· 

0.1.0

Reconsider invariants of the <code>Bdd</code> trait

Status: Open.

#8 In sybila/ruddy;

· daemontus opened on Dec 7, 2024

· 

0.1.0

Forced inlining

Status: Open.

#7 In sybila/ruddy;

· daemontus opened on Dec 7, 2024

ID related safety checks

Status: Open.

#6 In sybila/ruddy;

· daemontus opened on Dec 7, 2024

Public vs. private ID types

Status: Open.

#5 In sybila/ruddy;

· daemontus opened on Dec 7, 2024

· 

0.1.0

Visibility

Status: Open.

#4 In sybila/ruddy;

· daemontus opened on Dec 7, 2024

· 

0.1.0