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
1200 commits behind the upstream repository.
user avatar
Minor notation cleanup to avoid casts.
Gregory Malecha authored
ac310b6a
History
user avatar ac310b6a
History
Name Last commit Last update
..
algebra.ref
algebra.v
atomic.ref
atomic.v
bi.ref
bi.v
bi_ascii_parsing.ref
bi_ascii_parsing.v
heap_lang.ref
heap_lang.v
heap_lang_interpreter.ref
heap_lang_interpreter.v
heap_lang_printing.ref
heap_lang_printing.v
heap_lang_printing2.ref
heap_lang_printing2.v
heap_lang_proph.ref
heap_lang_proph.v
heapprop.ref
heapprop.v
ipm_paper.ref
ipm_paper.v
iprop.ref
iprop.v
iris_notation.ref
iris_notation.v
list_reverse.ref
list_reverse.v
mosel_paper.ref
mosel_paper.v
one_shot.ref
one_shot.v
one_shot_once.ref
one_shot_once.v
proofmode.ref
proofmode.v
proofmode_ascii.ref
proofmode_ascii.v
proofmode_iris.ref
proofmode_iris.v
proofmode_monpred.ref
proofmode_monpred.v
proofmode_siprop.ref
proofmode_siprop.v
string_ident.ref
string_ident.v
telescopes.ref
telescopes.v
tree_sum.ref
tree_sum.v