]> git.lizzy.rs Git - rust.git/commit
Split out vector_clock to separate file, general tidy up of some of the
authorJCTyBlaidd <JCTyblaidd@users.noreply.github.com>
Thu, 5 Nov 2020 03:54:39 +0000 (03:54 +0000)
committerJCTyBlaidd <JCTyblaidd@users.noreply.github.com>
Thu, 5 Nov 2020 03:54:39 +0000 (03:54 +0000)
commit9cb6b8da3f6ca2da1139c91754d520bf2d354f31
tree8b678d535b480855ce098924fe097214d80779d5
parent95c99b2044a75f27e691308ebbb7ed0d4e2cbf3b
Split out vector_clock to separate file, general tidy up of some of the
 code & add support for vector index re-use for multiple threads
 after termination.
src/data_race.rs
src/lib.rs
src/shims/intrinsics.rs
src/shims/posix/sync.rs
src/thread.rs
src/vector_clock.rs [new file with mode: 0644]