Skip to content
Snippets Groups Projects
Select Git revision
  • master default protected
  • typed_proph
  • cas_resolve
  • atomic_resolve_alternative
  • arrays
  • prophecy_list
  • ci/robbert/tc_opaque
  • ci/joe/compact_ipm
  • robbert/big_sepM2
  • ci/robbert/kill_locked_value_lambdas
  • ralf/const-rf
  • ci/debug
  • mtac2-tt
  • ralf/no-generalize
  • ralf/saved-anything
  • ci/disable-ltac-backtrace
  • iris-3.1
  • iris-3.0
  • ci/maximedenes/instance-nobody-open-proof
  • robbert/ufrac
  • 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
30 results
Compare
Forked from Iris / Iris
Source project has a limited visibility.
user avatar
Seal off all definitions in uPred.
Robbert Krebbers authored 
The performance gain seems neglectable, unfortunatelly...
2d9c5f33
History
user avatar 2d9c5f33
History
Name Last commit Last update
..