analyzer icon indicating copy to clipboard operation
analyzer copied to clipboard

Published 20 hours ago • verified publisher icon goblint

C11 concurrency support

Open sim642 opened this issue 2 years ago • 1 comments

In addition to Pthread, library function specifications should be added for C11 concurrency functions: https://en.cppreference.com/w/c/thread. These should hopefully be very similar to the Pthread ones and map to the same LibraryDesc.special.

sim642 avatar May 24 '23 07:05 sim642

@adelavais is working on this.

jerhard avatar Nov 23 '23 16:11 jerhard