Skip to content
Snippets Groups Projects
Select Git revision
  • amin/ci/filer-spec
  • amin/gremlin_sem_untyped
  • ci/ike/frame_exist
  • ci/ocaml-dev
  • ci/ocaml-gc-stats
  • ci/ocaml-versions
  • ci/robbert/into_fupd
  • master default protected
  • ralf/frame-frac
  • ralf/prop-level-wand
  • simon/parametric-index
11 results
You can move around the graph by using the arrow keys.
Created with Raphaël 2.2.017Jan161413129Dec823Nov151320Oct2127Sep75129Jul28232127Jun2418179753228May2520141220Apr831Mar24231873116Feb1412113128Jan26252219138718Dec95428Nov131143230Oct292119151387532130Sep2915327Aug23Jul22211716151110830Jun22191816126328May26241813130Apr292318151087643218Mar16131123Feb191511213Jan13Dec21Nov14131276231Oct2219Sep29Aug141313Jul1198543128Jun26242019181312111065431May2826252420Apr15829Mar281465428Feb2221201931Jan28251513121121Dec2019111098Nov131Oct237630Sep191813Jul6428Jun2322212014128420May10930Apr2423921Mar722Feb161513325Jan231220Dec1817151413729Nov282219181411330Oct2928191810728Sep272222Aug31Jul17Mar10Jan322Dec14131216Nov1413872125Octwhatever, just require Coq 8.15...test against Coq 8.15.0; add missing Globalupdate irisMerge branch 'pr-13969-take3' into 'master'Bump irisMerge branch 'mattam82-master-patch-09987' into 'master'Bump irisBump Iris.update irisupdate dependenciesswitch timing to 8.14.1switch to testing 8.15 branch nightlyswitch to 8.14 branch for nightly buildsfix coq-lint for macOS restricted regex supporttest with Coq 8.14.0Typeclasses Opaque cannot yet be globalfix coq-lint check for Instance, and add missing Instance attributesupdate dependenciesadd comments about STLC's use of irisGS being oddupdate dependenciesadjust for framing not doing AsFractional any moreralf/frame-fracralf/frame-fracupdate dependenciesmore preparation for weaker f_equivadjust for weaker reflexivity in f_equivfix missing Proof.bump Iris; adjust to f_equiv updatesbump Irisremove an old leftoverupdate dependenciesupdate dependenciesupdate dependenciesupdate dependenciesMerge branch 'ci/amin/fix-names' into 'master'fix namesset up CI for MRsmake everything pass with coq-lintadd missing explicit 'Global'release an opam packagesilence some warnings we cannot yet do anything aboutmake sure everything imports the options