iris-atomic issueshttps://gitlab.mpi-sws.org/FP/iris-atomic/-/issues2018-12-19T16:24:36Zhttps://gitlab.mpi-sws.org/FP/iris-atomic/-/issues/6LICENSE missing2018-12-19T16:24:36ZRobbert KrebbersLICENSE missingThere is no LICENSE file in the development. To allow reuse, it would be good if one were added.There is no LICENSE file in the development. To allow reuse, it would be good if one were added.https://gitlab.mpi-sws.org/FP/iris-atomic/-/issues/5Better per-item spec2017-05-20T07:26:17ZGhost UserBetter per-item spechttps://gitlab.mpi-sws.org/FP/iris-atomic/-/issues/2Improve seq_spec2017-05-20T07:26:17ZGhost UserImprove seq_spec