Skip to content

Add (basic) support for `gset` and `gset_disj` cameras to `set_solver`.

Robbert Krebbers requested to merge robbert/gset_solver into master

This came up in a discussion at Mattermost: https://mattermost.mpi-sws.org/iris/pl/gnxuzycpzjdpxdi1swtcsr8fwa

Merge request reports