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/2Improve seq_spec2017-05-20T07:26:17ZGhost UserImprove seq_spechttps://gitlab.mpi-sws.org/FP/iris-atomic/-/issues/5Better per-item spec2017-05-20T07:26:17ZGhost UserBetter per-item spec