Code

Analysis of pthread_barriers#1652

Code

Draft

michael-schwarz wants to merge 17 commits intomastergoblint/analyzer:masterfrom issue_1651goblint/analyzer:issue_1651Copy head branch name to clipboard

+623-1

Commits

Commits on Dec 24, 2024

• First steps

  michael-schwarz

  committed
  2fb5390

• Record capacity

  michael-schwarz

  committed
  29a3900

• Add first checks

  michael-schwarz

  committed
  60c1d72

• Use MHP information

  michael-schwarz

  committed
  041e544

• More involved MHP check

  michael-schwarz

  committed
  db320ae

• Rm spurious variable

  michael-schwarz

  committed
  8b2ede3

• Document pthread barriers

  michael-schwarz

  committed
  f418b00

Commits on Dec 25, 2024

• Add NOMAC option

  michael-schwarz

  committed
  93b7f0c

• Remark that os gem is needed

  michael-schwarz

  committed
  a990b5f

• Make sound for multiprocess

  michael-schwarz

  committed
  27dd030

• Fix indentation

  michael-schwarz

  committed
  24d61c0

• Also consider locks

  michael-schwarz

  committed
  8fe2e16

• Minimal race handling

  michael-schwarz

  committed
  05d2f60

• Fix pairwise MHP check

  michael-schwarz

  committed
  1b3a0d8

• Add case for more waiters

  michael-schwarz

  committed
  7e98213

• Get rid of overcomplicated logic

  michael-schwarz

  committed
  1b4beae

• Cleanup

  michael-schwarz

  committed
  1bfb985