Skip to content

Commit c0dea8e

Browse files
Merge pull request #140 from lqd/version_bump
Bump versions for the subset errors computation
2 parents 6e14300 + 24d4b9a commit c0dea8e

File tree

5 files changed

+23
-15
lines changed

5 files changed

+23
-15
lines changed

Cargo.lock

Lines changed: 5 additions & 5 deletions
Some generated files are not rendered by default. Learn more about customizing how changed files appear on GitHub.

Cargo.toml

Lines changed: 3 additions & 3 deletions
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,6 @@
11
[package]
22
name = "polonius"
3-
version = "0.5.0"
3+
version = "0.6.0"
44
authors = ["The Rust Project Developers", "Polonius Developers"]
55
description = "Core definition for the Rust borrow checker"
66
license = "Apache-2.0/MIT"
@@ -11,11 +11,11 @@ edition = "2018"
1111

1212
[dev-dependencies]
1313
diff = "0.1.0"
14-
polonius-parser = {version = "0.3.0", path = "polonius-parser" }
14+
polonius-parser = {version = "0.4.0", path = "polonius-parser" }
1515

1616
[dependencies]
1717
rustc-hash = "1.0.0"
18-
polonius-engine = {version = "0.10.0", path = "polonius-engine" }
18+
polonius-engine = {version = "0.11.0", path = "polonius-engine" }
1919
log = "0.4"
2020
petgraph = "0.4.13"
2121
pico-args = "0.2"

RELEASES.md

Lines changed: 13 additions & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -1,12 +1,11 @@
11
# polonius
22

3-
## v????
4-
3+
## v0.6.0
4+
- update to the latest `polonius-engine`
5+
- update the test parser to add the new facts related to subset errors
6+
- update, deduplicate, and remove some dependencies
57
- remove `--ignore-region-live-at`, as the `region_live_at` is now gone
68
from the inputs and is always calculated!
7-
8-
## v0.6.0
9-
109
- add a CLI option `--ignore-region-live-at` which ignores those facts and
1110
recompute them using Polonius even if provided.
1211
- missing `region_live_at.facts` is no longer an error.
@@ -34,6 +33,15 @@ Add a CLI option `--dump-liveness-graph` to dump a Graphviz file with a
3433

3534
# polonius-engine
3635

36+
## v0.11.0
37+
38+
- adopt a new terminology for the Atoms, and begin documenting everything in a book
39+
- use a new API to refer to the Atom types via associated types
40+
- compute new errors: illegal subset relation errors, where for example
41+
a `fn foo<'a, 'b>` might require `'a: 'b` annotations to be valid.
42+
- more work towards supporting initialization facts and errors
43+
- more work towards defining different phases where each can have its
44+
own input facts or produce errors
3745

3846
## v0.10.0
3947

polonius-engine/Cargo.toml

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,6 @@
11
[package]
22
name = "polonius-engine"
3-
version = "0.10.0"
3+
version = "0.11.0"
44
authors = ["The Rust Project Developers", "Polonius Developers"]
55
description = "Core definition for the Rust borrow checker"
66
license = "Apache-2.0/MIT"

polonius-parser/Cargo.toml

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,6 @@
11
[package]
22
name = "polonius-parser"
3-
version = "0.3.0"
3+
version = "0.4.0"
44
description = "Parser for the Polonius project"
55
license = "Apache-2.0/MIT"
66
authors = ["The Rust Project Developers"]

0 commit comments

Comments
 (0)