Skip to content

GitLab

Explore

Sign in

Tags

Tags give the ability to mark specific points in history as being important

iris-4.0.0

ea2417ba · set release date to tomorrow, re-flow changelog · Aug 17, 2022
iris-3.6.0

b32bd7c7 · Merge branch 'release-notes-3.6.0' into 'master' · Jan 23, 2022
iris-3.5.0

efb686ba · finalize release · Nov 05, 2021
iris-3.4.0

075ce23b · Merge branch 'ralf/changelog' into 'master' · Feb 16, 2021
iris-3.3.0

5219161d · release Iris 3.3 · Jul 15, 2020
iris-3.2.0

e1f6efa0 · release 3.2.0 · Aug 29, 2019
iris-3.1.0

3e923399 · use std++ 1.1 · Dec 18, 2017
iris-3.0.0

7ceb1a82 · this is Iris 3.0.0! · Jan 11, 2017
iris-2.0

922a41c1 · 'Fork' is atomic · Jul 28, 2016
iris-2.0-rc2

aa81760b · Update proof mode docs w.r.t. new syntax. · Jul 13, 2016
iris-2.0-rc1

ab77927c · Merge branch 'master' of gitlab.mpi-sws.org:FP/iris-coq · Mar 16, 2016
iris-1.1

50738b0e · Frame-preserving updates for finite parital functions. · Nov 18, 2015
iris-1.0

0600a917 · make ProofGeneral work again · Jun 16, 2015
hope-2015-coq-1

0ce42920 · coq-ho: update README, remove commented-out robust safety (in preparation for HOPE) · Jun 11, 2015
appendix-1.0.0

209ec3aa · coq readme. · Oct 24, 2014
appendix-1

d86b955f · update README · Jul 08, 2014