chore: release

Author: github-actions[bot]

Cargo.toml

@@ -13,8 +13,8 @@ unexpected_cfgs = { level = "warn", check-cfg = ['cfg(kani)', 'cfg(creusot)'] }
 
 [workspace.dependencies]
 # workspace deps
-trame = { path = "trame", version = "0.1.0" }
-trame-runtime = { path = "trame-runtime", version = "0.1.0" }
+trame = { path = "trame", version = "0.1.1" }
+trame-runtime = { path = "trame-runtime", version = "0.2.0" }
 # third-party deps
 creusot-std = { git = "https://github.com/creusot-rs/creusot", package = "creusot-std", version = "0.9.0" }
 facet-core = { git = "https://github.com/facet-rs/facet", branch = "main", version = "0.43.2" }

trame-runtime/CHANGELOG.md

@@ -0,0 +1,17 @@
+# Changelog
+
+All notable changes to this project will be documented in this file.
+
+The format is based on [Keep a Changelog](https://keepachangelog.com/en/1.0.0/),
+and this project adheres to [Semantic Versioning](https://semver.org/spec/v2.0.0.html).
+
+## [Unreleased]
+
+## [0.2.0](https://github.com/facet-rs/trame/compare/trame-runtime-v0.1.0...trame-runtime-v0.2.0) - 2026-02-07
+
+### Other
+
+- patch up proofs via assume false ([#19](https://github.com/facet-rs/trame/pull/19))
+- Generalize LRuntime over executable shapes and enable LRuntime+VShape ([#21](https://github.com/facet-rs/trame/pull/21))
+- Switch memcpy API to typed copy descriptors ([#18](https://github.com/facet-rs/trame/pull/18))
+- Add Box support and toy JSON Miri coverage ([#17](https://github.com/facet-rs/trame/pull/17))

trame-runtime/Cargo.toml

@@ -1,6 +1,6 @@
 [package]
 name = "trame-runtime"
-version = "0.1.0"
+version = "0.2.0"
 edition.workspace = true
 rust-version.workspace = true
 license.workspace = true

trame-toy-json/CHANGELOG.md

@@ -0,0 +1,15 @@
+# Changelog
+
+All notable changes to this project will be documented in this file.
+
+The format is based on [Keep a Changelog](https://keepachangelog.com/en/1.0.0/),
+and this project adheres to [Semantic Versioning](https://semver.org/spec/v2.0.0.html).
+
+## [Unreleased]
+
+## [0.1.0](https://github.com/facet-rs/trame/releases/tag/trame-toy-json-v0.1.0) - 2026-02-07
+
+### Other
+
+- Add README for trame-toy-json
+- Add trame-based toy JSON deserializer ([#15](https://github.com/facet-rs/trame/pull/15))

trame/CHANGELOG.md

@@ -0,0 +1,17 @@
+# Changelog
+
+All notable changes to this project will be documented in this file.
+
+The format is based on [Keep a Changelog](https://keepachangelog.com/en/1.0.0/),
+and this project adheres to [Semantic Versioning](https://semver.org/spec/v2.0.0.html).
+
+## [Unreleased]
+
+## [0.1.1](https://github.com/facet-rs/trame/compare/trame-v0.1.0...trame-v0.1.1) - 2026-02-07
+
+### Other
+
+- patch up proofs via assume false ([#19](https://github.com/facet-rs/trame/pull/19))
+- Generalize LRuntime over executable shapes and enable LRuntime+VShape ([#21](https://github.com/facet-rs/trame/pull/21))
+- Switch memcpy API to typed copy descriptors ([#18](https://github.com/facet-rs/trame/pull/18))
+- Add Box support and toy JSON Miri coverage ([#17](https://github.com/facet-rs/trame/pull/17))

trame/Cargo.toml

@@ -1,6 +1,6 @@
 [package]
 name = "trame"
-version = "0.1.0"
+version = "0.1.1"
 edition.workspace = true
 rust-version.workspace = true
 license.workspace = true