Version-bump Polonius

rust-lang · Jul 3, 2019 · edc196c · edc196c
1 parent 83aa602
commit edc196c
Show file tree

Hide file tree

Showing 4 changed files with 16 additions and 4 deletions.
diff --git a/Cargo.lock b/Cargo.lock
diff --git a/Cargo.toml b/Cargo.toml
@@ -20,7 +20,7 @@ failure = "0.1.1"
 rustc-hash = "1.0.0"
 structopt = "0.2.8"
 clap = "2.31.2"
-polonius-engine = {version = "0.8.0", path = "polonius-engine" }
+polonius-engine = {version = "0.9.0", path = "polonius-engine" }
 log = "0.4"
 petgraph = "0.4.13"
 

diff --git a/RELEASES.md b/RELEASES.md
@@ -1,5 +1,12 @@
 # polonius
 
+## v0.6.0
+
+- add a CLI option `--ignore-region-live-at` which ignores those facts and
+  recompute them using Polonius even if provided.
+- missing `region_live_at.facts` is no longer an error.
+- consistently use the logging crate for error and warning logging.
+
 ## v0.5.0
 
 Add a CLI option `--dump-liveness-graph` to dump a Graphviz file with a
@@ -22,6 +29,11 @@ Add a CLI option `--dump-liveness-graph` to dump a Graphviz file with a
 
 # polonius-engine
 
+## v0.9.0
+
+- add the input `var_initialized_on_exit` which indicates if a variable may be
+  initialized at a given point and is used to compute drop-liveness.
+
 ## v0.8.0
 
 - Polonius now performs liveness analysis to calculate `region_live_at`, if it

diff --git a/polonius-engine/Cargo.toml b/polonius-engine/Cargo.toml
@@ -1,6 +1,6 @@
 [package]
 name = "polonius-engine"
-version = "0.8.0"
+version = "0.9.0"
 authors = ["The Rust Project Developers", "Polonius Developers"]
 description = "Core definition for the Rust borrow checker"
 license = "Apache-2.0/MIT"