program_logic/thread_local.v · 622800dac0d600218761de74e2215b50d8e5c416 · Michael Sammler / iris-coq

Forked from Iris / Iris

Source project has a limited visibility.

8 years ago

Make thread_local a bit more consistent. · 622800da

Make names more consistent with the rest of the development, make
definitions type classes opaque so that the proofmode does not unfold
then, declare timeless, persistent and proper instances.

622800da

History

Make thread_local a bit more consistent.

Robbert Krebbers authored 8 years ago

Make names more consistent with the rest of the development, make
definitions type classes opaque so that the proofmode does not unfold
then, declare timeless, persistent and proper instances.