Select Git revision
clairvoyant
erasure
erasure-squashed
erasure_backup
janno/early-scopes
janno/hoare-notation
jh_coreless_cmras
jh_inductive_pairs
jh_partial_core
lang_lemmas
less_canonical
master
monotone
mra-changelog
primitive_sealing
ralf/magic-singleton
rename
appendix-1
appendix-1.0.0
hope-2015-coq-1
iris-1.0
iris-1.1
iris-2.0
iris-2.0-rc1
iris-2.0-rc2