Commits · e1cc0c200bc8bbf9c7c09f1959c1bea6ab0141ce · FP / ghostcell

02 Mar, 2021 1 commit
- rename dlist benchmark data; remove linked list benchmark data · e1cc0c20
  Hai Dang authored Mar 02, 2021
  
  e1cc0c20
26 Feb, 2021 10 commits
- update benchmark results · 2515673a
  Hai Dang authored Feb 26, 2021
  
  2515673a
- add mutex benchmark · 229ce538
  Hai Dang authored Feb 26, 2021
  
  229ce538
- some cleanups · 7eb427b3
  Hai Dang authored Feb 26, 2021
  
  7eb427b3
- rename NodePtr to NodeRef · 0160065c
  Hai Dang authored Feb 26, 2021
  
  0160065c
- use Weak refs for backlinks · 04e96ee9
  Ralf Jung authored Feb 26, 2021
  
  04e96ee9
- remove unlink from arena · e40fd791
  Hai Dang authored Feb 26, 2021
  
  e40fd791
- fix paper example to use arena · c6666053
  Hai Dang authored Feb 26, 2021
  
  c6666053
- renaming and doc comments · 3e17f3c8
  Hai Dang authored Feb 26, 2021
  
  3e17f3c8
- merge new and alloc · 70de5343
  Hai Dang authored Feb 26, 2021
  
  70de5343
- rename iter_immut > iterate · 8f1308f7
  Hai Dang authored Feb 26, 2021
  
  8f1308f7
25 Feb, 2021 5 commits
- update benchmarks · 08701265
  Hai Dang authored Feb 25, 2021
  
  08701265
- factor init function out; separate file for paper example · c10a7057
  Ralf Jung authored Feb 25, 2021
  
  c10a7057
- use take instead of clone in dlist benchmarks · 13d78376
  Hai Dang authored Feb 25, 2021
  
  13d78376
- remove clone in dlist_arc client · 095d27a0
  Hai Dang authored Feb 25, 2021
  
  095d27a0
- remove clone in dlist_arc iter_immut · dfe86ff3
  Hai Dang authored Feb 25, 2021
  
  dfe86ff3
24 Feb, 2021 12 commits
- cleanup · 579c5102
  Hai Dang authored Feb 24, 2021
  
  579c5102
- duplicate example for dlist_arena · 40945d1c
  Hai Dang authored Feb 24, 2021
  
  40945d1c
- some cleanup · 977e8493
  Hai Dang authored Feb 24, 2021
  
  977e8493
- extend dlist_arc example · bbdc7000
  Hai Dang authored Feb 24, 2021
  
  bbdc7000
- add dlist benchmark results · 47c40f8a
  Hai Dang authored Feb 24, 2021
  
  47c40f8a
- change benchmark size · 948049ae
  Hai Dang authored Feb 24, 2021
  
  948049ae
- add benchmarks for arena+rwlock · 8d1e16ca
  Hai Dang authored Feb 24, 2021
  
  8d1e16ca
- move dlists to library proper · bb3bf35e
  Ralf Jung authored Feb 24, 2021
  
  bb3bf35e
- use lft_ghost_name in ghostcell proof · 9ed55c3b
  Ralf Jung authored Feb 24, 2021
  
  9ed55c3b
- rename Rust lib · b7e5e5f0
  Ralf Jung authored Feb 24, 2021
  
  b7e5e5f0
- typo · 97946b27
  Hai Dang authored Feb 24, 2021
  
  97946b27
- rename insert_next in dlist arc · d7945533
  Hai Dang authored Feb 24, 2021
  
  d7945533
23 Feb, 2021 6 commits
- add simple benchmarks for dlist · d4098e77
  Hai Dang authored Feb 23, 2021
  
  d4098e77
- minor edits to dlist Rust code · b3705574
  Hai Dang authored Feb 23, 2021
  
  b3705574
- move brandvec proof to new lft_ghost_name · c5933a67
  Ralf Jung authored Feb 23, 2021
  
  c5933a67
- Merge branch 'master' of gitlab.mpi-sws.org:FP/ghostcell · a3374a51
  Ralf Jung authored Feb 23, 2021
  
  a3374a51
- add lft_ghost_name abstraction that matches what we have in the paper · c2498c47
  Ralf Jung authored Feb 23, 2021
  
  c2498c47
- fix typo in a comment · a0d2fb3a
  Hai Dang authored Feb 23, 2021
  
  a0d2fb3a
22 Feb, 2021 3 commits
- proper iterator for dlist_arc · 052e2f0d
  Ralf Jung authored Feb 22, 2021
  
  052e2f0d
- make dlist_arena a proper module · adee7669
  Ralf Jung authored Feb 22, 2021
  
  adee7669
- make dlist_arc a proper module; remove 'unlink' · 1304f9db
  Ralf Jung authored Feb 22, 2021
  
  1304f9db
19 Feb, 2021 1 commit
- adjust push to Rust code · 08c68977
  Ralf Jung authored Feb 19, 2021
  
  08c68977
18 Feb, 2021 1 commit
- prove brandvec get_index that matches the Rust code · 64fe681e
  Ralf Jung authored Feb 18, 2021
  
  64fe681e
17 Feb, 2021 1 commit
- bvec tweaks · 081a6707
  Ralf Jung authored Feb 17, 2021
  
  081a6707