Search results

Protocol refinements based on formal verification

Status: Open.

#28 In OpenCyphal-Garage/cy;

· pavel-kirienko opened on Jul 10, 2025

Separate introspection from the CRDT protocol

Status: Open.

#27 In OpenCyphal-Garage/cy;

· pavel-kirienko opened on Jun 23, 2025

Consider the implications of suppressing gossips

Status: Open.

#26 In OpenCyphal-Garage/cy;

· pavel-kirienko opened on Jun 22, 2025

The Pessimistic DAD is slow

Status: Open.

#24 In OpenCyphal-Garage/cy;

· pavel-kirienko opened on Jun 20, 2025

Add name remapping API

Status: Open.

#23 In OpenCyphal-Garage/cy;

· pavel-kirienko opened on Jun 20, 2025

Reliable topics

Status: Open.

#21 In OpenCyphal-Garage/cy;

· pavel-kirienko opened on Jun 18, 2025

Add functions for listing topics matching a subscriber, and also for looking up topics using a pattern

Status: Open.

#17 In OpenCyphal-Garage/cy;

· pavel-kirienko opened on Jun 17, 2025

New subject-ID expression: quadratic probing, extended range

Status: Open.

#12 In OpenCyphal-Garage/cy;

· pavel-kirienko opened on May 30, 2025

Require transport glue libraries to unroll cyclic transfer-ID

Status: Open.

#6 In OpenCyphal-Garage/cy;

· pavel-kirienko opened on May 17, 2025