Skip to content
Snippets Groups Projects
Select Git revision
  • borrowck
  • option_weak_instances
  • iris-4.1.0-borrowck
  • iris-4.1.0-option_weak_instances
  • fractional_loop_instance
  • master default protected
  • robbert/issue520
  • ralf/separable
  • ralf/rename-by-string
  • robbert/pm_unify_class
  • ralf/bi-persistently-emp
  • robbert/resolve_tc
  • ralf/Z
  • ci/robbert/big_op_binder
  • robbert/no_native_compute
  • simon/parametric-index
  • ci/robbert/set_solver_eauto
  • ralf/make
  • ci/msammler/nb_state
  • robbert/add_sub
  • iris-4.0.0
  • iris-3.6.0
  • iris-3.5.0
  • iris-3.4.0
  • iris-3.3.0
  • iris-3.2.0
  • iris-3.1.0
  • iris-3.0.0
  • 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
36 results
Compare
Forked from Iris / Iris
Source project has a limited visibility.
user avatar
New mechanism for heap_lang substitutions.
Robbert Krebbers authored 
It is based on type classes and can it be tuned by providing
instances, for example, instances can be provided to mark that
certain expressions are closed.
103f5e8b
History
user avatar 103f5e8b
History
Name Last commit Last update