MIRAI v1.0.4 Release Notes

Release Date: 2019-09-19 // about 3 years 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.