All Versions
Latest Version
Avg Release Cycle
12 days
Latest Release
1739 days ago

Changelog History

  • v1.0.4 Changes

    September 19, 2019

    ๐Ÿ”’ 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 Changes

    September 11, 2019

    ๐Ÿ‘‰ 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.

  • v1.0.2 Changes

    August 27, 2019

    Standard library summaries for cmp::max.
    ๐Ÿ‘‰ Use joins for conditional expressions with conditions that are TOP.
    ๐Ÿ›  Fix bug in refinement of conditional expressions.
    Apply binary operation distribution recursively during expression simplification.
    ๐Ÿ›  Discard join condition when joining backward branches (keeps path conditions simpler during fixed point loops).

  • v1.0.1 Changes

    August 16, 2019

    ๐Ÿ›  Fixes a bug with name mangling when macros are involved.
    More standard library contracts.
    โšก๏ธ Updates dependencies.
    ๐Ÿ›  Ignores predecessor blocks that are known not to reach a block after round 1 of the fixed point loop.
    ๐Ÿ›  Fixes diagnostic formatting that resulted in "possible possible ..." messages.

  • v1.0.0 Changes

    August 02, 2019

    ๐Ÿš€ This release can handle the Libra code base, at least for now.