Description
Embeds formally verified atomic operations from VSync into low-level C or systems projects. Developers link the library into their own code rather than opening an app; correctness still depends on using the memory-ordering APIs appropriately.