From b99f998e0d2826eb95f351b760064178cd063df3 Mon Sep 17 00:00:00 2001 From: Albin Stjerna Date: Tue, 19 Mar 2019 17:00:51 +0100 Subject: [PATCH 1/2] Version-bump polonius-engine to 0.7.0 --- Cargo.toml | 2 +- polonius-engine/Cargo.toml | 2 +- 2 files changed, 2 insertions(+), 2 deletions(-) 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/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" From ec8006eed279acdbe3c282cb6f39872af675f117 Mon Sep 17 00:00:00 2001 From: Albin Stjerna Date: Wed, 20 Mar 2019 20:43:43 +0100 Subject: [PATCH 2/2] Update RELEASES.md for 0.7.0 --- RELEASES.md | 7 +++++++ 1 file changed, 7 insertions(+) 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)