Skip to content

Generalize Peterson invariant to N threads and add DSL local arrays - #52

Merged
SamuelIVX merged 3 commits into
mainfrom
feature/n-thread-peterson-and-dsl-local-arrays
Oct 12, 2026
Merged

Generalize Peterson invariant to N threads and add DSL local arrays#52
SamuelIVX merged 3 commits into
mainfrom
feature/n-thread-peterson-and-dsl-local-arrays

fix(invariant): fail-fast on thread count mismatch in mutual_exclusio…

630e191
Select commit
Loading
Failed to load commit list.
GitGuardian / GitGuardian Security Checks succeeded Oct 12, 2026 in 3s

No secrets detected ✅

3 commits were scanned without uncovering any secrets.

Details

Commits scanned: 3

  • Pull request #52: feature/n-thread-peterson-and-dsl-local-arrays 👉 main

🦉 GitGuardian detects secrets in your source code to help developers and security teams secure the modern development process. You are seeing this because you or someone else with access to this repository has authorized GitGuardian to scan your pull request.

View more details on GitGuardian