RefinedC merge requestshttps://gitlab.rts.mpi-sws.org/iris/refinedc/-/merge_requests2021-11-02T15:05:08Zhttps://gitlab.rts.mpi-sws.org/iris/refinedc/-/merge_requests/51WIP allocation stack2021-11-02T15:05:08ZRodolphe LepigreWIP allocation stackhttps://gitlab.rts.mpi-sws.org/iris/refinedc/-/merge_requests/121More case studies; new impl2022-08-12T12:29:44ZFengmin ZhuMore case studies; new implhttps://gitlab.rts.mpi-sws.org/iris/refinedc/-/merge_requests/139WIP: Update to new Iris language interface2022-08-10T07:32:39ZMichael SammlerWIP: Update to new Iris language interfaceUpdate to https://gitlab.mpi-sws.org/iris/iris/-/merge_requests/825/Update to https://gitlab.mpi-sws.org/iris/iris/-/merge_requests/825/Michael SammlerMichael Sammlerhttps://gitlab.rts.mpi-sws.org/iris/refinedc/-/merge_requests/163Draft: Ci/pkvm hof2023-08-23T10:41:37ZLaila ElbeheiryDraft: Ci/pkvm hofhttps://gitlab.rts.mpi-sws.org/iris/refinedc/-/merge_requests/171Verification of receive messages and check channels2024-03-26T14:29:46ZKimaya BedarkarVerification of receive messages and check channelsThis MR adds the specs for `receive_messages` and `receive_one_message`. Some of the previous specs for `receive_one_message` and `read` have also been changed following a change in the underlying ground truth.This MR adds the specs for `receive_messages` and `receive_one_message`. Some of the previous specs for `receive_one_message` and `read` have also been changed following a change in the underlying ground truth.