Code

Analysis of pthread_cond#520

Code

Merged

michael-schwarz merged 14 commits intomastergoblint/analyzer:masterfrom signalsgoblint/analyzer:signalsCopy head branch name to clipboardSep 22, 2022

+445-23

Commits

Commits on Jan 8, 2022

• Analysis of must-received signals

  michael-schwarz

  committed
  da81043

  Copy full SHA for da81043

• Use MHP information

  michael-schwarz

  committed
  5d51b27

  Copy full SHA for 5d51b27

Commits on Sep 20, 2022

• Merge branch 'master' into signals

  michael-schwarz

  committed
  e3a4c8a

  Copy full SHA for e3a4c8a

• Refactor MHP

  michael-schwarz

  committed
  f614ea2

  Copy full SHA for f614ea2

• Make ocpindent happy

  michael-schwarz

  committed
  e5ade47

  Copy full SHA for e5ade47

• Merge branch 'master' into signals

  michael-schwarz

  committed
  1f99cfb

  Copy full SHA for 1f99cfb

• Switch signalling / waiting over to new library mechanism

  michael-schwarz

  committed
  2af52ea

  Copy full SHA for 2af52ea

Commits on Sep 21, 2022

• pthread_cond_timedwait: mark argument abstime as read

  michael-schwarz

  committed
  6378203

  Copy full SHA for 6378203

• Improve messages in pthreadSignals analysis

  michael-schwarz

  committed
  7aee8be

  Copy full SHA for 7aee8be

• Remove spurious check

  michael-schwarz

  committed
  b221784

  Copy full SHA for b221784

Commits on Sep 22, 2022

• Generalize to several condition variables

  michael-schwarz

  committed
  0ffd04c

  Copy full SHA for 0ffd04c

• Use full power of MHP

  michael-schwarz

  committed
  6f54741

  Copy full SHA for 6f54741

• Merge branch 'master' into signals

  michael-schwarz

  committed
  108174c

  Copy full SHA for 108174c

• Use pretty instead of show

  Show description for 4353d73
  

  michael-schwarz

  and

  sim642

  authored
  4353d73

  Copy full SHA for 4353d73