Release v0.2.0 (#7)

CHANGELOG.md

@@ -1,6 +1,8 @@
 # CHANGELOG
 
-## Unreleased
+## v0.2.0
+
+*November 21st, 2023*
 
 - Deserialize ITF values into native Rust types with a custom deserializer
   instead of having to go through `Itf<A>` wrapper type.

README.md

@@ -1,4 +1,5 @@
 
+[![API Documentation][docs-image]][docs-link]
 [![Build Status][build-image]][build-link]
 [![codecov][codecov-image]][codecov-link]
 [![Apache 2.0 Licensed][license-image]][license-link]
@@ -9,6 +10,10 @@
 
 Rust library for consuming [Apalache ITF Traces][itf-adr].
 
+## API Documentation
+
+The [API documentation][docs-link] is available on `docs.rs`.
+
 ## Example
 
 **Trace:** [`MissionariesAndCannibals.itf.json`](./apalache-itf/tests/fixtures/MissionariesAndCannibals.itf.json)
@@ -239,6 +244,8 @@ Unless required by applicable law or agreed to in writing, software distributed
 
 [build-image]: https://github.com/informalsystems/itf-rs/workflows/Rust/badge.svg
 [build-link]: https://github.com/informalsystems/itf-rs/actions?query=workflow%3ARust
+[docs-image]: https://docs.rs/itf/badge.svg
+[docs-link]: https://docs.rs/itf
 [codecov-image]: https://codecov.io/github/informalsystems/itf-rs/branch/main/graph/badge.svg?token=6LFLG9ILD1
 [codecov-link]: https://codecov.io/github/informalsystems/itf-rs
 [license-image]: https://img.shields.io/badge/license-Apache_2.0-blue.svg

itf/Cargo.toml

@@ -1,6 +1,6 @@
 [package]
 name          = "itf"
-version       = "0.1.2"
+version       = "0.2.0"
 edition       = "2021"
 license       = "Apache-2.0"
 readme        = "../README.md"