Skip to content

GitLab

Explore

Sign in

Iris
oRA

O

oRA

Project information

Unmaintained repository. See here for a maintained fork.

Formalizes the ordered RA model of Iris from the MoSeL paper

62 Commits
2 Branches
0 Tags

BSD 3-Clause "New" or "Revised" License

Created on

March 04, 2018

Copy SSH clone URLgit-rts@gitlab.mpi-sws.org:iris/ora.git
Copy HTTPS clone URLhttps://gitlab.mpi-sws.org/iris/ora.git