Commits · 13d78376fda0bd0a10f35f128752516a66b5ab37 · FP / ghostcell

25 Feb, 2021 3 commits
- 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
15 Feb, 2021 2 commits
- use gsingleton_agree in ghostcell; remove some dead code · da69ecd0
  Ralf Jung authored Feb 15, 2021
  
  da69ecd0
- simplify brandvec proof: get rid of cancellable invariants · 0db39be4
  Ralf Jung authored Feb 15, 2021
  
  0db39be4
10 Feb, 2021 4 commits
- reduce the number of clones · b8360e46
  Ralf Jung authored Feb 10, 2021
  
  b8360e46
- turn type comments into type annotations · 0d939232
  Ralf Jung authored Feb 10, 2021
  
  0d939232
- rustfmt dlist examples · 7ff36941
  Ralf Jung authored Feb 10, 2021
  
  7ff36941
- dlist_arena: a bit of cleanup and proper Rust-style immutable iteration · 35e09d79
  Ralf Jung authored Feb 10, 2021
  
  35e09d79
09 Feb, 2021 2 commits
- prove weaker lft-equalize rule and show that it suffices for the nonlexical example · 7f9a4432
  Ralf Jung authored Feb 09, 2021
  
  7f9a4432
- cleanup unused code; add back nonlexical example (but it does not work currently, of course) · 877263a4
  Ralf Jung authored Feb 09, 2021
  
  877263a4
05 Feb, 2021 5 commits
- fix some comments · 50f07828
  Hai Dang authored Feb 05, 2021
  
  50f07828
- more iterate to API of dlist · 3102db6b
  Hai Dang authored Feb 05, 2021
  
  3102db6b
- more comments · 05a09815
  Hai Dang authored Feb 05, 2021
  
  05a09815
- add some comments · 949d1ea7
  Hai Dang authored Feb 05, 2021
  
  949d1ea7
- remove one clone in dlist_arc · 88027cfd
  Hai Dang authored Feb 05, 2021
  
  88027cfd