Ralf Jung (134581ab) at 05 Mar 23:16
Merge branch 'feature/std_linkedlist_benchmark' into 'master'
... and 1 more commit
@teohhanhui the recommendation is to use https://crates.io/crates/ghost-cell if you want to import GhostCell into your code.
The ghostcell
package contains more than just GhostCell
itself:
https://gitlab.mpi-sws.org/FP/ghostcell/-/tree/25b30e499c2e840be64972ff05bfd0e76dd12c07/ghostcell
This makes it hard to use the library without pulling in the dependencies used in the other data structures.
At least having those behind features
would help...
Ralf Jung (25b30e49) at 29 Jun 17:51
tweak README
Hai Dang (28214ad7) at 28 Jun 09:26
Update README for building Coq proof
Ralf Jung (e1cf51c8) at 05 Jun 09:57
update README updates
Ralf Jung (62630443) at 05 Jun 09:33
further expand README
Ralf Jung (791db786) at 05 Jun 09:32
update a link
Ralf Jung (ed5edef3) at 05 Jun 09:31
expand README
Ralf Jung (2941eb0b) at 05 Jun 09:28
add link to Graph+DFS
Hai Dang (bd5b692d) at 01 Jun 15:39
Hai Dang (144dde2b) at 01 Jun 15:37
Hai Dang (464c5044) at 01 Jun 15:37
Merge branch 'hai/uid_rwlock' into 'master'
... and 8 more commits
Hai Dang (144dde2b) at 01 Jun 15:36
Merge branch 'master' into hai/uid_rwlock
... and 2 more commits
Hai Dang (bd5b692d) at 01 Jun 14:10
Move uid outside of ghostcell for ghostcell vec version
... and 7 more commits
Hai Dang (c51fadf8) at 01 Jun 13:47
More minor cleanup
Hai Dang (d5a227ce) at 01 Jun 13:45