Skip to content
Snippets Groups Projects
Select Git revision
  • mra-changelog
  • master default
  • monotone
  • erasure
  • erasure-squashed
  • lang_lemmas
  • erasure_backup
  • clairvoyant
  • janno/hoare-notation
  • janno/early-scopes
  • rename
  • jh_inductive_pairs
  • jh_partial_core
  • jh_coreless_cmras
  • ralf/magic-singleton
  • primitive_sealing
  • less_canonical
  • iris-2.0
  • iris-2.0-rc2
  • iris-2.0-rc1
  • iris-1.1
  • iris-1.0
  • hope-2015-coq-1
  • appendix-1.0.0
  • appendix-1
25 results
Compare
Forked from Iris / Iris
8177 commits behind the upstream repository.
user avatar
Remove optionmap and assoc.
Robbert Krebbers authored 
These are unused and not very useful anymore now that we have gmap.
b853c0af
History
user avatar b853c0af
History