Skip to content

Draft: Adapt to iris!750: Flip quantifiers for atomic updates

Paolo G. Giarrusso requested to merge Blaisorblade/examples:atomic-flip into master

This MR adapts to iris!750 (merged), so it doesn't build yet. (I've built it locally with dune).

Edited by Paolo G. Giarrusso

Merge request reports