Skip to content

Commit

Permalink
Merge pull request #1154 from hacspec/release
Browse files Browse the repository at this point in the history
chore: Release `0.1.0-rc.1`
  • Loading branch information
W95Psp authored Dec 3, 2024
2 parents 9bfb646 + 9a4e941 commit c0f9cdd
Show file tree
Hide file tree
Showing 4 changed files with 27 additions and 28 deletions.
30 changes: 15 additions & 15 deletions Cargo.lock

Some generated files are not rendered by default. Learn more about how customized files appear on GitHub.

21 changes: 10 additions & 11 deletions Cargo.toml
Original file line number Diff line number Diff line change
Expand Up @@ -32,7 +32,7 @@ default-members = [
resolver = "2"

[workspace.package]
version = "0.1.0-alpha.1"
version = "0.1.0-rc.1"
authors = ["hax Authors"]
license = "Apache-2.0"
homepage = "https://github.com/hacspec/hax"
Expand Down Expand Up @@ -71,15 +71,14 @@ colored = "2"
annotate-snippets = "0.11"

# Crates in this repository
hax-frontend-exporter = { path = "frontend/exporter", version = "=0.1.0-alpha.1", default-features = false }
hax-adt-into = { path = "frontend/exporter/adt-into", version = "=0.1.0-alpha.1" }
hax-frontend-exporter-options = { path = "frontend/exporter/options", version = "=0.1.0-alpha.1" }
hax-lib-macros = { path = "hax-lib/macros", version = "=0.1.0-alpha.1" }
hax-lib-macros-types = { path = "hax-lib/macros/types", version = "=0.1.0-alpha.1" }
hax-lib = { path = "hax-lib", version = "=0.1.0-alpha.1" }
hax-engine-names = { path = "engine/names", version = "=0.1.0-alpha.1" }
hax-types = { path = "hax-types", version = "=0.1.0-alpha.1" }
hax-frontend-exporter = { path = "frontend/exporter", version = "=0.1.0-rc.1", default-features = false }
hax-adt-into = { path = "frontend/exporter/adt-into", version = "=0.1.0-rc.1" }
hax-frontend-exporter-options = { path = "frontend/exporter/options", version = "=0.1.0-rc.1" }
hax-lib-macros = { path = "hax-lib/macros", version = "=0.1.0-rc.1" }
hax-lib-macros-types = { path = "hax-lib/macros/types", version = "=0.1.0-rc.1" }
hax-lib = { path = "hax-lib", version = "=0.1.0-rc.1" }
hax-engine-names = { path = "engine/names", version = "=0.1.0-rc.1" }
hax-types = { path = "hax-types", version = "=0.1.0-rc.1" }

[workspace.metadata.release]
owners = ["github:hacspec:crates"]

owners = ["github:hacspec:crates"]
2 changes: 1 addition & 1 deletion engine/dune-project
Original file line number Diff line number Diff line change
Expand Up @@ -2,7 +2,7 @@

(name hax-engine)

(version 0.1.0-alpha.1)
(version 0.1.0-rc.1)

(generate_opam_files true)

Expand Down
2 changes: 1 addition & 1 deletion engine/hax-engine.opam
Original file line number Diff line number Diff line change
@@ -1,6 +1,6 @@
# This file is generated by dune, edit dune-project instead
opam-version: "2.0"
version: "0.1.0-alpha.1"
version: "0.1.0-rc.1"
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."
Expand Down

0 comments on commit c0f9cdd

Please sign in to comment.