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.09May4229Apr282726252422201918141311730Mar28272423222116151310976543128Feb25242322211918171615131211109830Jan262524232221191716131211109876543128Dec2625242322212019181716151413121198762130Nov29282726252423221615111098743128Oct272625166316Sep151413121110965226AugDelimit scopes of list variants of subst.Fix another FIXME.Bump Iris, fix FIXME.swapUse a "static dispatch" way of presenting higher order functions.prove take_mutArc commentsMutex and MutexGuard subtyping. This completes the Mutex proof.MutexGuard Sync boundMerge branch 'master' of https://gitlab.mpi-sws.org/FP/LambdaRust-coqMutex: Send+SyncMerge branch 'master' of gitlab.mpi-sws.org:FP/LambdaRust-coqweak_count and strong_count for Arc.refine comments even morerefine commentsGuards for rwlock are sync.Merge branch 'master' of gitlab.mpi-sws.org:FP/LambdaRust-coqarc_make_mut.TODO commentssimplification of ty_own is now fairly well-behaved, remove a TODOmake join_handle Send/Synccomments in make_mutMerge branch 'master' of https://gitlab.mpi-sws.org/FP/LambdaRust-coqcommentsProve is_unique (needed for get_mut) for Arc.Comment in rc.v, fix weak_count.rc_strong_count, rc_weak_count.Starting the work on arc.Merge branch 'master' of gitlab.mpi-sws.org:FP/LambdaRust-coqMutex non-expansive, MutexGuard contractivetry_unwrap.more missing Send/Sync boundsnotice some type properties that still need provingMerge branch 'master' of https://gitlab.mpi-sws.org/FP/LambdaRust-coqprove Mutex::get_mutMerge branch 'master' of gitlab.mpi-sws.org:FP/LambdaRust-coqLibrary for Arc.prove MutexGuard::derefprove MutexGuard::deref_mutprove MutexGuard::drop