Bump Iris, and increase minimal Coq version to 8.17.

.gitlab-ci.yml

README.md

_CoqProject

coq-simuliris.opam

theories/base_logic/gen_heap_bij.v

theories/base_logic/gen_sim_heap.v

theories/base_logic/gen_sim_prog.v

theories/playground/fixpoints.v

theories/playground/language.v

theories/simulang/globalbij.v

theories/simulang/heapbij.v

theories/simulang/logical_heap.v

theories/simulang/na_inv/adequacy.v

theories/simulang/na_inv/inv.v

theories/simulang/primitive_laws.v

theories/simulang/simple_inv/adequacy.v

theories/simulang/simple_inv/inv.v

theories/simulation/fairness.v

theories/simulation/gen_log_rel.v

theories/stacked_borrows/logical_state.v