Skip to content
Snippets Groups Projects
Select Git revision
  • ci/debug
  • ci/for_proph
  • ci/janno/debug-opam
  • ci/janno/let_bind_envs
  • ci/janno/vmcast
  • ci/joe/compact_ipm
  • ci/joe/compact_ipm_remaining
  • ci/joe/compact_ipm_simple
  • ci/msammler/iris-coq-seal_big_opM
  • ci/ralf/pm_red
  • ci/ralf/retime
  • ci/ralf/set_unfold_elements
  • ci/ralf/transfinite
  • ci/robbert/faster_iDestruct
  • ci/robbert/faster_iDestruct2
  • ci/robbert/faster_iFresh_joe
  • ci/robbert/into_val_pures
  • ci/robbert/kill_locked_value_lambdas
  • ci/robbert/naive_solver
  • ci/robbert/set_unfold
  • 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
31 results
You can move around the graph by using the arrow keys.
Created with Raphaël 2.2.019Oct181210975429Sep282726252421201918171615141198628Aug2624232221201776428Jul14121027Jun13128625May1712927Apr261913121175431Mar302824232221201615141211109765124Feb23222120181716151413121110987632130Jan2928272625242322212017131211109876543128Dec27262322212019181716151413121198765reverse-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.More consistent naming for `pure_exec`.Generalize `det_head_step_pureexec`.README: explain how to update std++Fix regression caused by e17ac4ad and another similar bug.fix build-dep on macOSFix `iIntros` regression caused by b0ae1102.Simplify solve_to_val.Fix issue #99.fix YAML even morefix YAMLCI tuningMerge branch 'pureexec' into 'master'
Loading