Iris tags
https://gitlab.rts.mpi-sws.org/adamAndMath/iris/-/tags
https://gitlab.rts.mpi-sws.org/adamAndMath/iris/-/tags/iris-3.5.0
iris-3.5.0
Ralf Jung
jung@mpi-sws.org
https://gitlab.rts.mpi-sws.org/adamAndMath/iris/-/tags/iris-3.4.0
iris-3.4.0
Ralf Jung
jung@mpi-sws.org
https://gitlab.rts.mpi-sws.org/adamAndMath/iris/-/tags/iris-3.3.0
iris-3.3.0
Ralf Jung
jung@mpi-sws.org
https://gitlab.rts.mpi-sws.org/adamAndMath/iris/-/tags/iris-3.2.0
iris-3.2.0
Ralf Jung
jung@mpi-sws.org
https://gitlab.rts.mpi-sws.org/adamAndMath/iris/-/tags/iris-3.1.0
iris-3.1.0
Ralf Jung
jung@mpi-sws.org
https://gitlab.rts.mpi-sws.org/adamAndMath/iris/-/tags/iris-3.0.0
iris-3.0.0
Ralf Jung
jung@mpi-sws.org
https://gitlab.rts.mpi-sws.org/adamAndMath/iris/-/tags/iris-2.0
iris-2.0
Ralf Jung
jung@mpi-sws.org
https://gitlab.rts.mpi-sws.org/adamAndMath/iris/-/tags/iris-2.0-rc2
iris-2.0-rc2
Robbert Krebbers
mail@robbertkrebbers.nl
https://gitlab.rts.mpi-sws.org/adamAndMath/iris/-/tags/iris-2.0-rc1
iris-2.0-rc1
Ralf Jung
jung@mpi-sws.org
https://gitlab.rts.mpi-sws.org/adamAndMath/iris/-/tags/iris-1.1
iris-1.1
David Swasey
swasey@mpi-sws.org
https://gitlab.rts.mpi-sws.org/adamAndMath/iris/-/tags/iris-1.0
iris-1.0
Ralf Jung
jung@mpi-sws.org
https://gitlab.rts.mpi-sws.org/adamAndMath/iris/-/tags/hope-2015-coq-1
hope-2015-coq-1
Ralf Jung
jung@mpi-sws.org
https://gitlab.rts.mpi-sws.org/adamAndMath/iris/-/tags/appendix-1.0.0
appendix-1.0.0
David Swasey
swasey@mpi-sws.org
https://gitlab.rts.mpi-sws.org/adamAndMath/iris/-/tags/appendix-1
appendix-1
Ralf Jung
post@ralfj.de