Merge pull request #105 from albins/lalrpop-bump

Implement liveness computation

.gitignore

@@ -3,3 +3,4 @@
 /*/Cargo.lock
 /*/target/
 polonius-parser/src/parser.rs
+.DS_Store

Cargo.toml

@@ -1,6 +1,6 @@
 [package]
 name = "polonius"
-version = "0.3.0"
+version = "0.4.0"
 authors = ["The Rust Project Developers", "Polonius Developers"]
 description = "Core definition for the Rust borrow checker"
 license = "Apache-2.0/MIT"
@@ -12,14 +12,15 @@ edition = "2018"
 [dev-dependencies]
 assert_cli = "0.6"
 diff = "0.1.0"
-polonius-parser = {version = "0.2.0", path = "polonius-parser" }
+polonius-parser = {version = "0.3.0", path = "polonius-parser" }
 
 [dependencies]
 env_logger = "0.5"
 failure = "0.1.1"
 rustc-hash = "1.0.0"
 structopt = "0.2.8"
 clap = "2.31.2"
-polonius-engine = {version = "0.7.0", path = "polonius-engine" }
+polonius-engine = {version = "0.8.0", path = "polonius-engine" }
+log = "0.4"
 
 [workspace]

RELEASES.md

@@ -1,5 +1,10 @@
 # polonius
 
+## v0.4.0
+
+- adopt latest polonius-engine
+- extensions to the parser to incorporate syntax for the new facts
+
 ## v0.3.0
 
 - adopt latest polonius-engine
@@ -12,6 +17,15 @@
 
 # polonius-engine
 
+## v0.8.0
+
+- Polonius now performs liveness analysis to calculate `region_live_at`, if it
+  isn't present (#104)
+- extend the type of `AllFacts` and `Output` with `Variable`
+- new facts: `var_defined`, `var_used`, `var_drop_used`, `var_uses_region`, and
+  `var_drops_region`
+- `Output` now has a `var_live_at`, and a `var_drop_live_at` field
+
 ## v0.7.0
 
 - add a naive hybrid algorithm that first executes the location-insensitive