Skip to content
Snippets Groups Projects
Forked from Iris / Iris
Source project has a limited visibility.
Robbert's avatar
Robbert Krebbers authored
Add `Atomic` instances for all atomic `heap_lang` constructs.

See merge request iris/iris!317
1f83451a
History
Name Last commit Last update