Releases: facebookexperimental/MIRAI
Version 1.1.8
Update the rust toolchain to nightly-2023-05-09.
Stop using actions from actions-rs.
Version 1.1.7
Keep up with Rustc nightly.
Tweak def_id_as_qualified_name_str
Update dependencies.
Version 1.1.6
Keep up with rustc nightly.
Version 1.1.5
Update MIRAI to use Rustc nightly 2023-03-08
Version 1.1.4
Update to Rust nightly 2023-01-06.
Change output of call graph JSON files so that callable signatures match those produced for the ones produced when using the print_function_names option.
Version 1.1.3
Keep up with nightly. Fix #1190
Version 1.1.2
Uses a newer rust compiler. Bug fixes. Call graph exporting.
Version 1.1.0
This is the V1 release and is suitable for general Rust developers.
v1.0.4 for Libra
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.
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.