ReLoC-v1 issueshttps://gitlab.mpi-sws.org/dfrumin/logrel-conc/-/issues2022-09-01T10:49:38Zhttps://gitlab.mpi-sws.org/dfrumin/logrel-conc/-/issues/1LICENSE is missing2022-09-01T10:49:38ZRobbert KrebbersLICENSE is missingThere is no LICENCE in this development.There is no LICENCE in this development.