diff --git a/Cargo.toml b/Cargo.toml index 7a12ec5778a..27dd630aee7 100644 --- a/Cargo.toml +++ b/Cargo.toml @@ -21,7 +21,7 @@ failure = "0.1.1" rustc-hash = "1.0.0" structopt = "0.2.8" clap = "2.31.2" -polonius-engine = {version = "0.6.2", path = "polonius-engine" } +polonius-engine = {version = "0.7.0", path = "polonius-engine" } polonius-parser = {version = "0.2.0", path = "polonius-parser" } [workspace] diff --git a/RELEASES.md b/RELEASES.md index 6351615f7c4..deac4b327ef 100644 --- a/RELEASES.md +++ b/RELEASES.md @@ -12,6 +12,13 @@ # polonius-engine +## v0.7.0 + +- add a naive hybrid algorithm that first executes the location-insensitive + analysis and falls back to the full analysis as needed (#100) +- extend tests to cover the location-insensitive analysis +- invert loan and point arguments in loc insensitive check + ## v0.6.2 - adopt the new datafrog 2.0 dependency (#95) diff --git a/polonius-engine/Cargo.toml b/polonius-engine/Cargo.toml index 340be8253a8..bf7eed53821 100644 --- a/polonius-engine/Cargo.toml +++ b/polonius-engine/Cargo.toml @@ -1,6 +1,6 @@ [package] name = "polonius-engine" -version = "0.6.2" +version = "0.7.0" authors = ["The Rust Project Developers", "Polonius Developers"] description = "Core definition for the Rust borrow checker" license = "Apache-2.0/MIT"