Skip to content
Snippets Groups Projects

Repository graph

You can move around the graph by using the arrow keys.
Select Git revision
  • cursor
  • hai/copy_arena
  • hai/hashset_raw_pointer
  • icfp21-aec
  • master default protected
  • Ghostcell2
  • popl18
  • popl18-aec
8 results
Created with Raphaël 2.2.05Mar329Jun285127May2624232221191817161413626Mar53226Feb252423221918171510954330Jan292815141319Oct1210Jul9876230Jun3Mar226Feb2524191817141375Feb4130Jan242315219Dec8Nov7124Oct20765430Sep212019181024Aug828Jul231329Jun23114130May2523201427Apr2418324Mar2212128Feb23222016159323Jan2218Dec13728Nov241411843230Oct2928261918109765428Sep27262521201929Aug242221191716108432131Jul19171611107643220Jun18May171615131294229Apr2827262524222019181311730Mar282423222116151310976543128Feb25242322Merge branch 'feature/std_linkedlist_benchmark' into 'master'mastermasteradd benchmark for std::collections::LinkedListtweak READMEUpdate README for building Coq proofupdate README updatesfurther expand READMEupdate a linkexpand READMEadd link to Graph+DFSadd new benchmark dataremove outdated benchmark dataMerge branch 'hai/uid_rwlock' into 'master'Merge branch 'master' into hai/uid_rwlockMore minor cleanupFix commentsFix mutex benchmarks nameRemove more uid()'sMerge branch 'master' into hai/uid_rwlockCleanup uid for dfs rwlockAdd Mutex benchmark for DFSMerge branch 'master' into hai/uid_rwlockMinor cleanupMerge branch 'master' into hai/uid_rwlockRemove rev() iter in DFSMove uid outside of rwlockSimplify code furtherFix a benchmark nameAdd benchmarks that avoid measuring dropsFix to not reuse arena in initialization benchmarksFix dfs ghostcell list to use 1 fewer lifetimeMinor fixesRevert to benchmark visit maps creation for allcomment clarificationRemove unneeded mut fAdd inlining for iterators' nextdlist_arc: cursor supportcursorcursorRemove unused importimplement a cursor (inspired by ghost-collections)Try to use copy_arenahai/copy_arenahai/copy_arenaSimply count visit map creation time for parallel traversal