Commits · master · FP / ghostcell

05 Mar, 2022 1 commit
- Merge branch 'feature/std_linkedlist_benchmark' into 'master' · 134581ab
  Ralf Jung authored Mar 05, 2022
```
Add benchmark for std::collections::LinkedList

See merge request !2
```
  134581ab
03 Mar, 2022 1 commit
- add benchmark for std::collections::LinkedList · 2b1dd499
  Florian Sextl authored Mar 03, 2022
  
  2b1dd499
29 Jun, 2021 1 commit
- tweak README · 25b30e49
  Ralf Jung authored Jun 29, 2021
  
  25b30e49
28 Jun, 2021 1 commit
- Update README for building Coq proof · 28214ad7
  Hai Dang authored Jun 28, 2021
  
  28214ad7
05 Jun, 2021 7 commits
- update README updates · e1cf51c8
  Ralf Jung authored Jun 05, 2021
  
  e1cf51c8
- further expand README · 62630443
  Ralf Jung authored Jun 05, 2021
  
  62630443
- update a link · 791db786
  Ralf Jung authored Jun 05, 2021
  
  791db786
- expand README · ed5edef3
  Ralf Jung authored Jun 05, 2021
  
  ed5edef3
- add link to Graph+DFS · 2941eb0b
  Ralf Jung authored Jun 05, 2021
  
  2941eb0b
- add new benchmark data · c3e13ef6
  Ralf Jung authored Jun 05, 2021
  
  c3e13ef6
- remove outdated benchmark data · adff7234
  Ralf Jung authored Jun 05, 2021
  
  adff7234
01 Jun, 2021 15 commits
- Merge branch 'hai/uid_rwlock' into 'master' · 464c5044
  Hai Dang authored Jun 01, 2021
```
Move uid outside of locks

See merge request !1
```
  464c5044
- Merge branch 'master' into hai/uid_rwlock · 144dde2b
  Hai Dang authored Jun 01, 2021
  
  144dde2b
- More minor cleanup · c51fadf8
  Hai Dang authored Jun 01, 2021
  
  c51fadf8
- Fix comments · fe855523
  Hai Dang authored Jun 01, 2021
  
  fe855523
- Fix mutex benchmarks name · 24358995
  Hai Dang authored Jun 01, 2021
  
  24358995
- Remove more uid()'s · e111609c
  Hai Dang authored Jun 01, 2021
  
  e111609c
- Merge branch 'master' into hai/uid_rwlock · 5df7f40b
  Hai Dang authored Jun 01, 2021
  
  5df7f40b
- Cleanup uid for dfs rwlock · a9f733c9
  Hai Dang authored Jun 01, 2021
  
  a9f733c9
- Add Mutex benchmark for DFS · 408eb6f7
  Hai Dang authored Jun 01, 2021
  
  408eb6f7
- Merge branch 'master' into hai/uid_rwlock · 31dcfa3f
  Hai Dang authored Jun 01, 2021
  
  31dcfa3f
- Minor cleanup · 14a878f0
  Hai Dang authored Jun 01, 2021
  
  14a878f0
- Merge branch 'master' into hai/uid_rwlock · 234d4e82
  Hai Dang authored Jun 01, 2021
  
  234d4e82
- Remove rev() iter in DFS · a6d3abf0
  Hai Dang authored Jun 01, 2021
  
  a6d3abf0
- Move uid outside of rwlock · ae5093ca
  Hai Dang authored Jun 01, 2021
  
  ae5093ca
- Simplify code further · cbdead66
  Hai Dang authored Jun 01, 2021
  
  cbdead66
27 May, 2021 4 commits
- Fix a benchmark name · 75a4555b
  Hai Dang authored May 27, 2021
  
  75a4555b
- Add benchmarks that avoid measuring drops · c7c42a19
  Hai Dang authored May 27, 2021
  
  c7c42a19
- Fix to not reuse arena in initialization benchmarks · e4559121
  Hai Dang authored May 27, 2021
  
  e4559121
- Fix dfs ghostcell list to use 1 fewer lifetime · 1085c24e
  Hai Dang authored May 27, 2021
  
  1085c24e
26 May, 2021 2 commits
- Minor fixes · b74d54f8
  Hai Dang authored May 27, 2021
  
  b74d54f8
- Revert to benchmark visit maps creation for all · 8c164af9
  Hai Dang authored May 26, 2021
  
  8c164af9
24 May, 2021 1 commit
- comment clarification · 199083b5
  Ralf Jung authored May 24, 2021
  
  199083b5
23 May, 2021 7 commits
- Remove unneeded mut f · 02385187
  Hai Dang authored May 23, 2021
  
  02385187
- Add inlining for iterators' next · f0ccaba8
  Hai Dang authored May 23, 2021
  
  f0ccaba8
- Remove unused import · f6c931c0
  Hai Dang authored May 23, 2021
  
  f6c931c0
- Simply count visit map creation time for parallel traversal · d4f4e431
  Hai Dang authored May 23, 2021
  
  d4f4e431
- Revert to use par_iter_mut · e04c102b
  Hai Dang authored May 23, 2021
  
  e04c102b
- Use into_par_iter instead of par_iter_mut · 20cab017
  Hai Dang authored May 23, 2021
  
  20cab017
- Fix dfs benchmark: forgot to reset bitsets · a676fe1d
  Hai Dang authored May 23, 2021
  
  a676fe1d