ditsing/ruaft @ 974c49cd7dde0d8134f9a00e352eba4bb1181efb

Jing Yang 974c49cd7d Use Instant instead of u64 for time.		%!s(int64=4) %!d(string=hai) anos
..
lib.rs	974c49cd7d Use Instant instead of u64 for time.	%!s(int64=4) %!d(string=hai) anos
model.rs	974c49cd7d Use Instant instead of u64 for time.	%!s(int64=4) %!d(string=hai) anos
offset_linked_list.rs	a5806e1874 Implment linearizability module.	%!s(int64=4) %!d(string=hai) anos