Skip to content
Snippets Groups Projects
Select Git revision
  • master default
  • no-bi-canonical
  • basic-dune
  • inv_exc_0_ipm
  • fix-497-hint-immediate
  • notations
  • later-credits-drop
  • bi_pure_scopes
  • fupd-commutes
  • periscopes-v2
  • periscopes
  • paolo/tc-strict-resolution-backport
  • doc-equalities
  • ascii-sections
  • fix-notation
  • explicit-vdash
  • more-convenient-fupd_proper
  • test-bigop-synchanges
  • later_impl_experiments
  • later_impl_test
  • iris-4.3.0
  • iris-4.2.0
  • iris-4.1.0
  • 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
39 results
Compare
Forked from Iris / Iris
5030 commits behind the upstream repository.
user avatar
Remove axiom that emp is timeless.
Robbert Krebbers authored 
As Aleš observed, in the ordered RA model it is not, unless the order on the
unit is timeless.
4e82b191
History
user avatar 4e82b191
History