Merge pull request #1729 from cryspen/release-0.3.5

Release 0.3.5

Author: maximebuyse

CHANGELOG.md

@@ -7,6 +7,20 @@ and this project adheres to [Semantic Versioning](https://semver.org/spec/v2.0.0
 
 ## [Unreleased]
 
+Changes to the Rust Engine:
+
+Changes to the frontend:
+
+Change to cargo-hax:
+
+Changes to hax-lib:
+
+Changes to the Lean backend:
+
+Miscellaneous:
+
+## 0.3.5
+
 Changes to the Rust Engine:
  - The module `names` now produces `ExplicitDefId`s instead of `DefId`s (#1648)
  - Add a resugaring `FunctionsToConstants` (#1559)

Cargo.lock

@@ -34,7 +34,7 @@ default-members = [
 resolver = "2"
 
 [workspace.package]
-version = "0.3.4"
+version = "0.3.5"
 authors = ["hax Authors"]
 license = "Apache-2.0"
 homepage = "https://github.com/hacspec/hax"
@@ -73,16 +73,16 @@ colored = "2"
 annotate-snippets = "0.11"
 
 # Crates in this repository
-hax-frontend-exporter = { path = "frontend/exporter", version = "=0.3.4", default-features = false }
-hax-adt-into = { path = "frontend/exporter/adt-into", version = "=0.3.4" }
-hax-frontend-exporter-options = { path = "frontend/exporter/options", version = "=0.3.4" }
-hax-lib-macros = { path = "hax-lib/macros", version = "=0.3.4" }
-hax-lib-macros-types = { path = "hax-lib/macros/types", version = "=0.3.4" }
-hax-lib = { path = "hax-lib", version = "=0.3.4" }
-hax-engine-names = { path = "engine/names", version = "=0.3.4" }
-hax-types = { path = "hax-types", version = "=0.3.4" }
-hax-rust-engine = { path = "rust-engine", version = "=0.3.4" }
-hax-rust-engine-macros = { path = "rust-engine/macros", version = "=0.3.4" }
+hax-frontend-exporter = { path = "frontend/exporter", version = "=0.3.5", default-features = false }
+hax-adt-into = { path = "frontend/exporter/adt-into", version = "=0.3.5" }
+hax-frontend-exporter-options = { path = "frontend/exporter/options", version = "=0.3.5" }
+hax-lib-macros = { path = "hax-lib/macros", version = "=0.3.5" }
+hax-lib-macros-types = { path = "hax-lib/macros/types", version = "=0.3.5" }
+hax-lib = { path = "hax-lib", version = "=0.3.5" }
+hax-engine-names = { path = "engine/names", version = "=0.3.5" }
+hax-types = { path = "hax-types", version = "=0.3.5" }
+hax-rust-engine = { path = "rust-engine", version = "=0.3.5" }
+hax-rust-engine-macros = { path = "rust-engine/macros", version = "=0.3.5" }
 
 [workspace.metadata.release]
 owners = ["github:cryspen:tools"]

Cargo.toml

@@ -2,7 +2,7 @@
 
 (name hax-engine)
 
-(version 0.3.4)
+(version 0.3.5)
 
 (generate_opam_files true)
 

engine/dune-project

@@ -1,6 +1,6 @@
 # This file is generated by dune, edit dune-project instead
 opam-version: "2.0"
-version: "0.3.4"
+version: "0.3.5"
 synopsis: "The engine of hax, a Rust verification tool"
 description:
   "Hax is divided in two: a frontend (written in Rust) and an engine (written in OCaml). This is the engine."