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.08Dec23Nov151320Oct2127Sep75129Jul28232127Jun2418179753228May2520141220Apr831Mar24231873116Feb1412113128Jan26252219138718Dec95428Nov131143230Oct292119151387532130Sep2915327Aug23Jul22211716151110830Jun22191816126328May26241813130Apr292318151087643218Mar16131123Feb191511213Jan13Dec21Nov14131276231Oct2219Sep29Aug141313Jul1198543128Jun26242019181312111065431May2826252420Apr15829Mar281465428Feb2221201931Jan28251513121121Dec2019111098Nov131Oct237630Sep191813Jul6428Jun2322212014128420May10930Apr2423921Mar722Feb161513325Jan231220Dec1817151413729Nov282219181411330Oct2928191810728Sep272222Aug31Jul17Mar10Jan322Dec14131216Nov1413872125Oct242019update 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 optionslogrel: import Iris optionsconcurrent_stacks: import Iris optionslecture_notes: import Iris optionsabql, spanning_tree, hocap: import Iris optionsbarrier, proph, cl_logic: import Iris optionslogatom: import Iris optionsmake most files compatible with name manglingupdate dependenciesfix remaining specs