Generalize semaphore specifications #9

Open

Labels

gmalecha-at-skylabs

opened

on Oct 28, 2025

The current specifications only support binary_semaphore, but they can be extended to support general counting_semaphore.

Metadata

Assignees

No one assigned

Labels

Type

Fields

No fields configured for Feature.

Projects

No projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests