Skip to content
GitLab
Explore
Sign in
Tags
Tags give the ability to mark specific points in history as being important
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