Skip to content
Snippets Groups Projects

Repository graph

You can move around the graph by using the arrow keys.
Select Git revision
  • ci/ike/frame_exist
  • 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 protected
  • coqbug/match
  • ghostcell
  • gpirlea/pin_semantic
  • gpirlea/pinning
  • jh/closures
  • jh/dynamic_masks
  • jh/lifetime_no_dead_trade
  • jh/typecheck_foo
  • master default protected
  • masters/rusthornbelt protected
  • masters/weak_mem protected
  • RBrlx-POPL20-artifact
  • popl18
  • popl18-aec
23 results
Created with Raphaël 2.2.08Nov43230Oct2928262119181211109765428Sep272625212019729Aug28242221191716108432131Jul19171611107643220Jun18May171615131294229Apr282726252422201918141311730Mar28272423222116151310976543128Feb25242322211918171615131211109830Jan262524232221191716131211109876543128Dec262524232221201918171615141312119bump irisBump Iris.try to work around yet another opam sillinessPort to latest Iris and make use of the `PureExec` infrastructure.Merge branch 'bsd' into 'master'put the entire development under the BSD licenseMerge branch 'ralf/poison' into 'master'Add poisonDo the nightly build against Coq 8.7.0bump Irisfix typocomment a little more on CAS being atomic, but not strongly atomictweak .gitlab-ci.ymlBump iris, new notation for disjointness.update opam CItest against released Coq 8.7.0Bump Iris.bump Iris, fix compilationexplaing CasStuckSfix for latest Irisdon't try to be smart about having an up-to-date opamupdate IrisSkiplist WIPskiplistskiplistMerge branch 'master' of https://gitlab.mpi-sws.org/FP/lambdarust-coqremove True from lft_initbump IrisCI: rename REV -> IRIS_REV for iris.dev buildsCI: rename jobs for consistencyadd trigger to build against specific iris versionupdate CIRemove comment.Merge branch 'master' of https://gitlab.mpi-sws.org/FP/lambdarust-coqThe lifetime logic depends on a setoid equality over views.update opam CIMerge viewT and Semilattice.Use unit instead of empty.Fiw rebase.Comments and refactoring.More refactoring.A bit of refactoring never hurts.