ReLoC merge requestshttps://gitlab.rts.mpi-sws.org/iris/reloc/-/merge_requests2024-02-04T09:19:34Zhttps://gitlab.rts.mpi-sws.org/iris/reloc/-/merge_requests/8bump to Coq 8.182024-02-04T09:19:34ZRalf Jungjung@mpi-sws.orgbump to Coq 8.18https://gitlab.rts.mpi-sws.org/iris/reloc/-/merge_requests/5Alternative definition of contextual refinement2021-01-17T12:18:25ZDan FruminAlternative definition of contextual refinementOn request from @robbertkrebbersOn request from @robbertkrebbershttps://gitlab.rts.mpi-sws.org/iris/reloc/-/merge_requests/3CKA stuff2020-08-18T15:42:35ZDan FruminCKA stuffhttps://gitlab.rts.mpi-sws.org/iris/reloc/-/merge_requests/2Kill guix stuff, it's annoying to keep that in sync.2019-11-20T14:04:29ZRobbert KrebbersKill guix stuff, it's annoying to keep that in sync.CC @dfruminCC @dfruminhttps://gitlab.rts.mpi-sws.org/iris/reloc/-/merge_requests/1Use Coq 8.10.1 for CI2019-11-07T13:01:24ZRobbert KrebbersUse Coq 8.10.1 for CICC @jungCC @jung