libra_v1.0.3
版本发布时间: 2019-09-12 01:58:39
facebookexperimental/MIRAI最新发布版本:v1.1.9(2024-08-14 02:48:57)
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.