MIRAI v1.0.4 Release Notes

Release Date: 2019-09-19 // 4 months ago
  • 🔒 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.


Previous changes from v1.0.3

  • 👉 Make --sysroot available for the command line.
    ➕ Add a rust-toolchain
    👉 Make core::slice::Iter methods generic.
    ➕ Add def ids for un-summarized functions in the call graph being analyzed.
    ➕ Add (assume|verify)_unreachable macros.
    👉 Make the result of an uninterpreted call more complete to allow better refinement.
    Promote pre/post conditions for async functions.