MIRAI v1.0.3 Release Notes
Release Date: 2019-09-11 // over 4 years ago-
👉 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.