release for 0.7.0 (#238)

* release for 0.7.0 * changelog * fix
dfinity · Jun 4, 2021 · ccd690b · ccd690b
1 parent e80b241
commit ccd690b
Show file tree

Hide file tree

Showing 7 changed files with 35 additions and 24 deletions.
diff --git a/Cargo.lock b/Cargo.lock
diff --git a/Changelog.md b/Changelog.md
@@ -1,29 +1,38 @@
 
 # Changelog
 
-## 2021-04-22 (Rust 0.7.0-beta.1)
+## 2021-06-03 
 
-### Breaking changes
+### Spec
 
 * Update spec to introduce subtyping check in deserialization [#168](https://github.com/dfinity/candid/pull/168)
-* Deserialization requires both `Deserialize` and `CandidType` trait
-* `de::ArgumentDecoder`, `ser::ArgumentEncoder` moved to `utils::{ArgumentDecoder, ArgumentEncoder}`
-* `types::subtype` returns `Result<()>` instead of `bool` for better error message
-* Disable subtyping conversion for opt rules in `IDLValue.annotate_type`
-* Display type annotations for number types
+* Coq proof for subtype check
+* Update test suite to conform with the new spec
+
+### Rust (0.7.0)
 
-### Non-breaking changes
+#### Breaking changes
+
+* Require full subtype checking in deserialization. This removes undefined behavior when trying to decode
+  variant and empty vector at types that are not supertype of the wire type.
+* Deserialization requires both `Deserialize` and `CandidType` trait.
+* `de::ArgumentDecoder`, `ser::ArgumentEncoder` moved to `utils::{ArgumentDecoder, ArgumentEncoder}`.
+* `types::subtype` returns `Result<()>` instead of `bool` for better error message.
+* Disable subtyping conversion for opt rules in `IDLValue.annotate_type`.
+* Display type annotations for number types.
+
+#### Non-breaking changes
 
 * Better error messages in deserialization
-* Update test suite to conform with the new spec
-* `didc hash` to compute hash of a field name
-* `didc decode` can decode blob format
+* Remove unnessary `reqwest` dependency
+* Implement CandidType for `str`
 
-### Pending issues
+### Tools
 
-* Update opt rule for subtyping and coercion
-* Performance regression in decoding struct type, likely due to `Type` clone
-* Integration test with production canisters
+* `didc bind` to support Motoko bindings
+* `didc hash` to compute hash of a field name
+* `didc decode` can decode blob format
+* Candid UI canister
 
 ## 2021-04-07 (Rust 0.6.19 -- 0.6.21)
 

diff --git a/rust/candid/Cargo.toml b/rust/candid/Cargo.toml
@@ -1,6 +1,6 @@
 [package]
 name = "candid"
-version = "0.7.0-beta.1"
+version = "0.7.0"
 edition = "2018"
 authors = ["DFINITY Team"]
 description = "Candid is an interface description language (IDL) for interacting with canisters running on the Internet Computer."
@@ -23,7 +23,7 @@ byteorder = "1.4.3"
 candid_derive = { path = "../candid_derive", version = "=0.4.4" }
 codespan-reporting = "0.11"
 hex = "0.4.2"
-ic-types = "0.1.2"
+ic-types = "0.1.3"
 lalrpop-util = "0.19.0"
 leb128 = "0.2.4"
 logos = "0.12"

diff --git a/test/construct.test.did b/test/construct.test.did
@@ -1,7 +1,7 @@
 /*
 Encoding tests for construct types
 
-Corresponding to spec version version 0.1.2
+Corresponding to spec version version 0.1.3
 */
 
 // Type definitions

diff --git a/test/overshoot.test.did b/test/overshoot.test.did
@@ -1,5 +1,5 @@
 /*
-Corresponding to spec version version 0.1.2
+Corresponding to spec version version 0.1.3
 
 The tests in this file involve large leb-encoded values that indicate sizes (of
 tables, arrays, blobs, etc.). In all cases, a decode should be able to catch

diff --git a/test/prim.test.did b/test/prim.test.did
@@ -1,7 +1,7 @@
 /*
 Encoding tests for primitive types
 
-Corresponding to spec version version 0.1.2
+Corresponding to spec version version 0.1.3
 */
 
 // fundamentally wrong

diff --git a/test/reference.test.did b/test/reference.test.did
@@ -1,7 +1,7 @@
 /*
 Encoding tests for reference types
 
-Corresponding to spec version version 0.1.2
+Corresponding to spec version version 0.1.3
 */
 
 // principal