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.020Sep191813107653225Aug24222019829Jul282322201913530Jun2928272625242322212019181714119876432131May302928272625242320161514119127Apr26242319181711109324Mar222112954128Feb232221201615149329Jan23221018Dec13728Nov241411843230Oct2928262119181211109765428Sep272625212019729Aug28242221191716108432131Jul19171611107643220Jun18May171615131294229Apr282726252422201918141311730Mar282724232221161513109Coq bug 5326 is not solved. We have better notations.Merge branch 'master' of gitlab.mpi-sws.org:FP/LambdaRust-coqNew model for refcell, in order to prove map_split.Minor fix on spawn.use Docker image matching CI branchuse Docker image matching CI branchported spawnbump Iris for compat with Coq masterupdate CI for opam 2update CI for opam 2ported rwlockbump IrisWIP: porting rwlockupdate CIBump gpfslWIP: rwlock with combined at gpsWIP: at_bor gps SWWIP: atomic gpsWIP: mortal SW protocolsPort lock+mutex to combined GPSclean up mergebump gpfslbump gpfslbump IrisWIP: mortal protocol writeWIP: combing GPS PP and atomic borrowsport fake shared uniq refbump iris/gpfslbump gpfslalso prove faking a shared uniq refport JoinHandle Sendmake JoinHandle unconditionally Sendfix arc typingadd view inv to specWIP: fixing view inv ghost depcomplete fixing arc specfixed arc is_uniquefix drop arcadd ghost for view inv to typefix drop fake arc