Code

Klever concurrency safety support#688

Code

Merged

sim642 merged 9 commits intomastergoblint/analyzer:masterfrom klevergoblint/analyzer:kleverCopy head branch name to clipboardJan 9, 2024

+71-15

Commits

Commits on Apr 13, 2022

• Add direct Klever concurrency specials

  sim642

  committed
  d754d76

• Add special rtnl_lock from Linux

  sim642

  committed
  8f31609

• Add symb_locks to ldv-races conf

  sim642

  committed
  1fbf910

Commits on Nov 27, 2023

• Merge branch 'master' into klever

  sim642

  committed
  edf7e6f

• Add pthread_join_N to Klever library

  sim642

  committed
  717b6a8

• Add test for Klever's multiple threads

  sim642

  committed
  670e7cf

• Add multiple flag to ThreadCreate

  sim642

  committed
  8a95c8a

• Fix LibraryDslTest compilation

  sim642

  committed
  5a6362e

Commits on Jan 9, 2024

• Merge branch 'master' into klever

  sim642

  committed
  27684fe