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.026Jul252423221711928Jun2620181311105429May2625241615141312225Apr24314Mar127642128Feb2726222120151211754131Jan3024231587219Dec141021Nov161514874129Oct252420198765430Sep2120191813107653225Aug24222019829Jul282322201913530Jun2928272625242322212019181714119876432131May302928272625242320161514119127Apr26242319181711109324Mar222112954128Feb232221201615149329Jan23221018Dec13728Nov241411843230Oct2928262119181211109765428Sep272625212019729Aug28242221191716108432131Jul19171611107helper lemmas for writingadded shrfinished todos in uniqwork on uniq borsmall change to programsadded comment and fixed reading from copy placesadjusted definition of copysmall update to uninitadded comment to ty_own_place_val_equivchanged how copy is implementedMerge branch 'ci/places' of gitlab.mpi-sws.org:iris/lambda-rust into ci/placesUpdated complex_typeupdated programsShorter proofProve `uninit0_own_place` via `place_val_equiv`Ready for `type_context.v`; one admit in `uninit.v`Merge branch 'ci/places' of gitlab.mpi-sws.org:iris/lambda-rust into ci/placesComplex type smart constructorfixed type.vWIP type definitionRevert "define ty_own via locations WIP"define ty_own via locations WIPbump Irisadd another examplebump gpfslbump Irisremove unneeded importbump Irisbump Irisbump Irisbump Iris for solve_ndisj changesbump iris (pre-solve_ndisj-change)Bump Iris (C→O rename).Bump Iris (C→O rename, lazy_tc).stop testing ancient Coq 8.7bump IrisBump Iris.bump Irisbump Irisbump Iris