Post-Iris 3.1
After Iris 3.1 is released:
-
Switching timing measurements to the Coq 8.7 build. -
Drop support for Coq 8.6? -
Enable test_iIntros_pure
. -
Drop opam dependency on ssreflect, use the one embedded in Coq instead.
Are there other work-arounds we can remove or new features we want to make use of?