MIRAI v1.0.3 Release Notes

Release Date: 2019-09-11 // almost 3 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.