Skip to content
Snippets Groups Projects
Select Git revision
  • atomic
  • ci/3.1.0
  • ci/debug
  • ci/janno/debug-opam
  • ci/janno/vmcast
  • ci/ralf/ci
  • ci/ralf/pm_red
  • ci/robbert/into_val_pures
  • ci/stability
  • ci/value_constructor
  • fast_string
  • iris-3.0
  • iris-3.1
  • janno/metacoq
  • jh/done_contradiction
  • jh/evar_iframe
  • jh/independent_metric
  • jh/sprop_upred
  • jh_inductive_pairs
  • joe/bupd_derived
  • 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
30 results
You can move around the graph by using the arrow keys.
Created with Raphaël 2.2.020Sep19181210331Aug3029241713112131Jul242319181713976543230Jun2928262523222120191817161514131211109876543131May302928272524232018171514111098743230Apr2928272625242322212019181211109654331Mar30282724222120191716151413121198765432128FebChange order of pins for flambda job.Add flambda CI job.use Docker image matching CI branchiris-3.1iris-3.1use Docker image matching CI branchuse Docker image matching CI branchautoamtically use latest CIBump Mtac2 8.8 commit.update CI for opam 2update CI for opam 2update CI for opam 2Fix confusing name of bound variable.Rename `prop_of_env` → `env_to_prop`Move theorems about `envs_` to `environments.v` where also these operations are defined.update CICoq 8.10 is broken for output as wellMerge branch 'ci/3.1.0' into 'iris-3.1'update a commentAddress Ralf's feedback in .gitlab-ci.yml.ci/3.1.0ci/3.1.0Port new CI to iris-3.1.Fix `opam` file; remove 8.7.1 and 8.7.0 CI.Bump Mtac2 8.8 commit.Add CI for Coq 8.8.1.we are compatible with Coq 8.8undo accidental editExport Ascii for compat with new CoqShow that bupd can be (essentially) defined in terms of other connectives.joe/bupd_derivedjoe/bupd_derivedfix paradox pseudo-masksFix typo in the documentation. Thanks to Joe for pointing that out.Update lemma for frac_auth with fraction 1.kids, never forget to pull before introducing changes (I am the kid, no offence meant to nobody)bumped Mtac2's commitadapting to last change in Mtac2/masterBack to Mtac2/master.Use Mtac2/janno/cps_unify.CI issue was upstream in opam, partially revert the changesupdate CIupdate CIFix typo in comment.Clarify comment.Support `iInduction ... using`; this closes issue #204.