This repository has been archived by the owner on Aug 22, 2024. It is now read-only.
v1.0.3 for Libra
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.