Skip to content
Snippets Groups Projects
Select Git revision
  • ci/janno/reduction_no_check
  • ci/places
  • ci/pm_red
  • ci/ralf/const-rf
  • ci/ralf/lia-experiment
  • ci/ralf/old-timing-data
  • ci/ralf/sections
  • ci/robbert/faster_iDestruct2
  • ci/robbert/iprop_structures
  • ci/robbert/merge_sbi
  • ci/robbert/merge_sbi_new
  • ci/robbert/merge_sbi_new_weak
  • ci/robbert/merge_sbi_weak
  • ci/robbert/naive_solver
  • ci/weak_mem
  • contractiveness
  • coqbug/match
  • fast_string
  • ghostcell
  • gpirlea/pinning
  • RBrlx-POPL20-artifact
  • popl18
  • popl18-aec
23 results
You can move around the graph by using the arrow keys.
Created with Raphaël 2.2.024Jan30Nov2921Sep12Aug11327Jul2016528Jun17May1614131211712Apr21Mar20Feb17Jan149Dec23Nov1518Oct2127Sep75123Aug2028Jul2322191627Jun181795328May212019181211754128Apr2016Mar151197316Feb14121130Jan2925191321Dec161026Nov21171311531Oct3029221913109532130Sep29281587653226Aug23Jul22151098763230Jun191229May2422158724Apr23874231Mar302120181613121193226Feb25242119181715141312117419Jan18131117Dec131093222Nov21128731Oct2221109875425Sep2320191817151413116543231Aug302928272625231613129643131Jul302926252423221711928Jun26201813111065429May2625241615141312229Apr2524314Mar127642128Feb2726222120151211754131Jan302423fixsimon/parametri…simon/parametric-indexMerge branch 'master' into simon/parametric-indexupdate dependenciesmastermasterupdate dependenciesupdate dependenciesBump Iris.tweakfix lambda rustavoid some deprecated functionsnicer proof script fix8.16-compatBump Iris.go back to 8.15 for nightly tests for nowavoid a whacky rewrite that no longer works with Coq 8.16switch to newer ocamlnightly test against 8.16Remove some stuff that's in the stdlib.Bump Iris.update dependenciesBump Iris (later credits).stronger fixpoint unfolding lemmassome more lemmas about our relations on typesadd example of using type_fixpointfix a commentupdate dependenciesupdate dependenciesupdate dependenciesmake license machine-readableupdate dependenciesupdate dependenciesupdate dependenciesremove some no longer necessary type annotationsupdate dependencies: envs_entails_eq renameupdate dependenciesMutex might become covariantfix deprecation warningsbump Coquse faster ocamlmake ocaml version explicitupdate dependencies