Release 0.1.0-alpha.1

Cargo.toml

@@ -5,7 +5,6 @@ members = [
      "cli/subcommands",
      "cli/driver",
      "test-harness",
-     "engine/utils/phase-debug-webapp",
      "hax-lib",
      "hax-lib-macros",
      "hax-lib-macros/types",
@@ -23,7 +22,6 @@ default-members = [
      "cli/subcommands",
      "cli/driver",
      "test-harness",
-     "engine/utils/phase-debug-webapp",
      "hax-lib",
      "hax-lib-macros",
      "hax-lib-macros/types",
@@ -34,7 +32,7 @@ default-members = [
 resolver = "2"
 
 [workspace.package]
-version = "0.1.0-pre.1"
+version = "0.1.0-alpha.1"
 authors = ["hax Authors"]
 license = "Apache-2.0"
 homepage = "https://github.com/hacspec/hax"
@@ -74,12 +72,11 @@ bincode = "2.0.0-rc.3"
 annotate-snippets = "0.11"
 
 # Crates in this repository
-hax-frontend-exporter = { path = "frontend/exporter", version = "=0.1.0-pre.1", default-features = false }
-hax-adt-into = { path = "frontend/exporter/adt-into", version = "=0.1.0-pre.1" }
-hax-frontend-exporter-options = { path = "frontend/exporter/options", version = "=0.1.0-pre.1" }
-hax-phase-debug-webapp = { path = "engine/utils/phase-debug-webapp", version = "=0.1.0-pre.1" }
-hax-lib-macros-types = { path = "hax-lib-macros/types", version = "=0.1.0-pre.1" }
-hax-lib-macros = { path = "hax-lib-macros", version = "=0.1.0-pre.1" }
-hax-lib = { path = "hax-lib", version = "=0.1.0-pre.1" }
-hax-engine-names = { path = "engine/names", version = "=0.1.0-pre.1" }
-hax-types = { path = "hax-types", version = "=0.1.0-pre.1" }
+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-types = { path = "hax-lib-macros/types", version = "=0.1.0-alpha.1" }
+hax-lib-macros = { path = "hax-lib-macros", 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" }

cli/subcommands/Cargo.toml

@@ -35,7 +35,7 @@ version_check = "0.9"
 rustup-toolchain = "0.1"
 colored.workspace = true
 is-terminal = "0.4.9"
-hax-phase-debug-webapp.workspace = true
+tiny_http = "0.12"
 inquire = "0.6"
 annotate-snippets.workspace = true
 serde-jsonlines = "0.5.0"
@@ -53,3 +53,9 @@ hax-frontend-exporter.workspace = true
 hax-lib-macros-types = {workspace = true, features = ["schemars"]}
 version_check = "0.9"
 toml = "0.8"
+
+[[package.metadata.release.pre-release-replacements]]
+file = "../../engine/dune-project"
+search = "version [a-z0-9\\.-]+"
+replace = "version {{version}}"
+prerelease = true

cli/subcommands/src/cargo_hax.rs

@@ -12,6 +12,8 @@ use std::io::Write;
 use std::path::PathBuf;
 use std::process;
 
+mod engine_debug_webapp;
+
 /// Return a toolchain argument to pass to `cargo`: when the correct nightly is
 /// already present, this is None, otherwise we (1) ensure `rustup` is available
 /// (2) install the nightly (3) return the toolchain
@@ -340,7 +342,7 @@ fn run_engine(
                 eprintln!("----------------------------------------------");
                 eprintln!("----------------------------------------------");
                 eprintln!("----------------------------------------------");
-                hax_phase_debug_webapp::run(|| debug_json.clone())
+                engine_debug_webapp::run(|| debug_json.clone())
             }
             Some(DebugEngineMode::File(_file)) if !backend.dry_run => {
                 println!("{}", debug_json)

engine/utils/phase-debug-webapp/src/lib.rs → cli/subcommands/src/engine_debug_webapp/mod.rs

@@ -23,10 +23,10 @@ pub fn run(get_json: impl Fn() -> String) {
     let ct_utf8 = Header::from_bytes(&b"charset"[..], &b"utf-8"[..]).unwrap();
     for request in server.incoming_requests() {
         let response = match request.url() {
-            "/" => Response::from_string(include_str!("../static/index.html"))
+            "/" => Response::from_string(include_str!("static/index.html"))
                 .with_header(ct_html.clone())
                 .with_header(ct_utf8.clone()),
-            "/script.js" => Response::from_string(include_str!("../static/script.js"))
+            "/script.js" => Response::from_string(include_str!("static/script.js"))
                 .with_header(ct_js.clone())
                 .with_header(ct_utf8.clone()),
             path if path.starts_with("/debug-hax-engine.json") => {

engine/dune-project

@@ -2,6 +2,8 @@
 
 (name hax-engine)
 
+(version 0.1.0-alpha.1)
+
 (generate_opam_files true)
 
 (source

examples/Cargo.toml

@@ -11,5 +11,5 @@ resolver = "2"
 [workspace.dependencies]
 hax-lib-macros = { path = "../hax-lib-macros" }
 hax-lib = { path = "../hax-lib" }
-hax-bounded-integers = { path = "../hax-bounded-integers", version = "=0.1.0-pre.1" }
+hax-bounded-integers = { path = "../hax-bounded-integers" }
 

flake.nix

@@ -189,6 +189,7 @@
             pkgs.ocamlPackages.utop
 
             pkgs.cargo-expand
+            pkgs.cargo-release
             pkgs.cargo-insta
             pkgs.openssl.dev
             pkgs.pkg-config

hax-bounded-integers/Cargo.toml

@@ -7,6 +7,7 @@ homepage.workspace = true
 edition.workspace = true
 repository.workspace = true
 readme.workspace = true
+description = "Newtypes for working with bounded integers with hax"
 
 [dependencies]
 duplicate = "1.0.0"

hax-types/Cargo.toml

@@ -7,6 +7,7 @@ homepage.workspace = true
 edition.workspace = true
 repository.workspace = true
 readme.workspace = true
+description = "Helper crate defining the types used to communicate between the custom rustc driver, the CLI and the engine of hax."
 
 [dependencies]
 clap = { workspace = true, features = ["env"] }