Tags · Tej Chajed / iris-coq · GitLab

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

Download source code

zip tar.gz tar.bz2 tar
iris-3.0.0

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

Download source code

zip tar.gz tar.bz2 tar
iris-2.0

922a41c1 · 'Fork' is atomic · Jul 28, 2016

Download source code

zip tar.gz tar.bz2 tar
iris-2.0-rc2

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

Download source code

zip tar.gz tar.bz2 tar
iris-2.0-rc1

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

Download source code

zip tar.gz tar.bz2 tar
iris-1.1

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

Download source code

zip tar.gz tar.bz2 tar
iris-1.0

0600a917 · make ProofGeneral work again · Jun 16, 2015

Download source code

zip tar.gz tar.bz2 tar
hope-2015-coq-1

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

Download source code

zip tar.gz tar.bz2 tar
appendix-1.0.0

209ec3aa · coq readme. · Oct 24, 2014

Download source code

zip tar.gz tar.bz2 tar
appendix-1

d86b955f · update README · Jul 08, 2014

Download source code

zip tar.gz tar.bz2 tar