This repository has been archived by the owner on Aug 22, 2024. It is now read-only.
v1.0.4 for Libra
Use separate lock file to avoid panic in Sled.
Only share the persistent store between crates if flag is present.
Contracts for variants of rand.Rng.gen_range
and rand.Rng.gen_bool
.
Give diagnostics if non public function is a call tree root.
MIR assertions now treated just like verify.