search

PrincetonUniversity / VST

Verified Software Toolchain
https://vst.cs.princeton.edu
Other
425 stars 91 forks source link

VSTlib threads are now portable to either C11 threads or Posix threads #651

Closed andrew-appel closed 1 year ago

andrew-appel commented 1 year ago

. . . and in VST/lib, "make tests" now compiles and links the incr program.