Skip to content
Snippets Groups Projects

Repository graph

You can move around the graph by using the arrow keys.
Select Git revision
  • bump-iris
  • ci/janno/reduction_no_check
  • ci/janno/strict-tc-resolution
  • ci/pinning
  • ci/places
  • ci/pm_red
  • ci/ralf/const-rf
  • ci/ralf/sections
  • ci/weak_mem
  • coqbug/match
  • ghostcell
  • gpirlea/pin_semantic
  • gpirlea/pinning
  • jh/closures
  • jh/dynamic_masks
  • jh/lifetime_no_dead_trade
  • jh/typecheck_foo
  • later-credits
  • master default protected
  • masters/rusthornbelt
  • RBrlx-POPL20-artifact
  • popl18
  • popl18-aec
23 results
Created with Raphaël 2.2.013Sep1121Aug1410914Jun54325May329Mar830Nov2912Aug11109327Jul20166528Jun17May1614131211712Apr6121Mar420Feb181518Jan17149Dec623Nov1815918Oct32127Sep14875123Aug20111028Jul2723221916876543129Jun28272621201918171817161514131211109876545432131May3029282728272625242322212019181918171615141312111211101110987656543130Apr29282728272623222120212019201918171413876532131Mar30292824181716151110989763212128Feb1Mar28Feb27231816141211830Jan29Merge branch 'master' into rrrrrrbump IrisMerge branch 'ike/ucmra_fixes' into 'master'Made refcell state coercion implementation agnosticupdate dependenciesMerge branch 'master' into rrupdate dependenciesBump Iris.Do not make sealed definitions TC opaque.update dependenciesavoid more depgrecated grepsavoid deprecated fgrepupdate dependenciesBump Iris; bump minimal Coq version to 8.17.centrally control the Coq version to test every nightBump Iris (beautify code for `iCombine .. gives`).Merge branch 'msammler/new_contractive' into 'master'fixes for iris/iris!886 and iris/iris!896update dependenciesupdate dependenciesupdate dependenciesBump Iris.avoid 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.Merge branch 'bump-iris' into rrbump irisbump-irisbump-irisMerge branch 'master' into rrupdate dependenciesBump Iris (later credits).stronger fixpoint unfolding lemmassome more lemmas about our relations on typesadd example of using type_fixpoint