checkpoint porting XCRASH specs in DiskLogHash
checkpoint porting XCRASH specs in DiskLogHash

don't know how to solve some goals about hashmap

mit-pdos/fscq-impl,mit-pdos/fscq-impl,mit-pdos/fscq-impl,mit-pdos/fscq-impl,mit-pdos/fscq-impl