Skip to content
Snippets Groups Projects
Select Git revision
  • ci/debug
  • ci/for_proph
  • ci/general-contractive
  • ci/hai/siProp
  • ci/janno/strict-tc-resolution
  • ci/msammler/nb_state
  • ci/ralf/Z_of_nat
  • ci/ralf/bi-language
  • ci/robbert/big_op_binder
  • ci/robbert/contractive_ne
  • ci/robbert/coq_bug_7773
  • ci/robbert/faster_iDestruct
  • ci/robbert/faster_iDestruct2
  • ci/robbert/faster_iFresh_joe
  • ci/robbert/frame_fractional
  • ci/robbert/iFrame
  • ci/robbert/into_fupd
  • ci/robbert/into_val_pures
  • ci/robbert/kill_locked_value_lambdas
  • ci/robbert/mapsto_persist
  • 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
You can move around the graph by using the arrow keys.
Created with Raphaël 2.2.016Aug141110986542128Jul272625232221201918161513121165432130Jun2827262524232120191817161514876131May30292827252423222120191312111097643229Apr272625242120191815141312111098730Mar29232221201918171615Merge branch 'master' into 'master'Merge branch 'master' into 'master' Merge branch 'master' of gitlab.mpi-sws.org:FP/iris-coqdocs: fix typo in namespacesRemove old branch from gitlab-ci.ymlMerge branch 'master' of gitlab.mpi-sws.org:FP/iris-coqnote down equivalent def.n of frame_step by JeehoonChange cmra_extend to have an exist instead of a sig.docs: fix bug in ghost resource lawsNo longer use later_car in the logic.Merge branch 'master' of gitlab.mpi-sws.org:FP/iris-coqdocs: fix some typosRemove internalized properties of frac.Merge branch 'typo' into 'master' fix typoSTS: accessor for sts_invdocs: mathpartir is part of TeXLive nowadaysMerge branch 'master' of gitlab.mpi-sws.org:FP/iris-coqclarify inG comment; fix subG instance nameFix typos in the documentation of program_logic/model.Merge branch 'master' of gitlab.mpi-sws.org:FP/iris-coqclosed proofs: be more explicit about composed gFunctorsMerge branch 'master' of gitlab.mpi-sws.org:FP/iris-coqmore spacing fixes for better groupinguse pair of ref in ticket lockbetter spacing for functor declarationsCHANGELOG: Update to account for newly introduced version 2.0-rc2Merge branch 'master' of gitlab.mpi-sws.org:FP/iris-coqParentheses.Merge branch 'master' of gitlab.mpi-sws.org:FP/iris-coqInhabited instance for any Empty instance.make the two proofs of contradictions more similar to each othertypo fixesBetter fix to avoid relying on the order in which simplify_eq works.start writing a CHANGELOG for Iris 3.0Merge branch 'master' of gitlab.mpi-sws.org:FP/iris-coqBetter Coq 8.6 compatibilityGeneralize the Iris language to forking off multiple threads.Extensionality property for fmap on lists in terms of dist.Remove gFunctorList and use gFunctors everywhere.