Code

Feature/deadlock detection#51

Code

Merged

jauhien merged 2 commits intomainasynchronics/nexosim:mainfrom feature/deadlock-detectionasynchronics/nexosim:feature/deadlock-detectionCopy head branch name to clipboardOct 29, 2024

+829-245

Commits

Commits on Oct 20, 2024

• Make execution failible, impl deadlock detection

  Show description for 1cfaa00
  sbarral

  committed
  1cfaa00

  Copy full SHA for 1cfaa00

Commits on Oct 28, 2024

• Report deadlocked models and their malbox size

  sbarral

  committed
  e7b6452

  Copy full SHA for e7b6452