Skip to content
Snippets Groups Projects
Select Git revision
  • ascii-sections
  • basic-dune
  • bi_pure_scopes
  • doc-equalities
  • explicit-vdash
  • fix-497-hint-immediate
  • fix-notation
  • fupd-commutes
  • inv_exc_0_ipm
  • later-credits-drop
  • later_impl_experiments
  • later_impl_test
  • master default
  • more-convenient-fupd_proper
  • no-bi-canonical
  • notations
  • paolo/tc-strict-resolution-backport
  • periscopes
  • periscopes-v2
  • seal_ires
  • 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
You can move around the graph by using the arrow keys.
Created with Raphaël 2.2.025Oct242019181210975429Sep282726252421201918171598628Aug26242322201776428Jul14121027Jun13128625May1712927Apr261913121175431Mar30282423222120161514121110976124Feb2322212018171615141312111097632130Jan2928272625242322212017131211109876543128Dec2726232221201918161514131211987652130Nov292827Make `iDestruct ... as (cpat) "..."` work on '⌜φ⌝ ∧ P` and `⌜φ⌝ ∗ P`.update CONTRIBUTINGStart work on a benchmark data exporterextractor: support grabbing logs from local all-artifacts zip folderfix gitlab-extractupdate READMEand another test that depends on the barrierremove a test that depends on the barriermove barrier to new iris-examples repo; test that repo after each Iris commitCI: rename REV parameter to IRIS_REV for iris.dev buildsCI: syncCI: rename jobs for consistencyreverse-deps trigger: set Iris revisiontrigger an iris-atomic build in the deploy stagefix typo in .gitlab-ci.ymlrename 2nd stageupdate CI systemopam: don't use the shell for no good reasonBump coq-stdpp.Coq CI does not need opam.pins any moreMerge branch 'ilocked' into 'master'Proof mode instances for [tc_opaque].Merge branch 'ci/primproj' into 'master'use sections to scope optionsMerge branch 'quickfix' into 'master'Remove an unused argumentuse primitive projections for our mixinssync opam.pinsall opam caches are clear of the old pins by nowhave Coq's dev repos only for dev buildsupdate opam.pinsmore consistent grammarmake build-dep: prefer relative paths; they seem to work better on Windowsupdate std++; add test for solve_propertweak opam build-dep installationMerge branch 'hai/stdpp_update' into 'master'update stdppexplain make parallelismexplain updatingMake iInduction more powerful, to e.g. support well-founded induction.