search

PrincetonUniversity / VST

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

move the * inside the lock_t typedef #623

Closed mansky1 closed 2 years ago

mansky1 commented 2 years ago

Proofs should be unaffected.