rename to hvm-64

.github/workflows/bench.yml

@@ -1,7 +1,6 @@
 name: Bench
 
-on:
-  pull_request:
+on: {} # temporarily disabled
 
 concurrency:
   group: bench-${{ github.ref }}
@@ -28,13 +27,13 @@ jobs:
           git clone https://github.com/higherorderco/hvm-compare-perf
           cd hvm-compare-perf
           NO_COLOR=1 cargo run bench \
-            --core ../hvm-core \
+            --core ../hvm-64 \
             -r main -r ${{ github.sha }} \
             -m intr-singl -m intr-multi \
-            > ../hvm-core/table
+            > ../hvm-64/table
       - name: write comment
         run: |
-          echo 'Perf run for [`'`git rev-parse --short ${{ github.sha }}`'`](https://github.com/higherorderco/hvm-core/commit/${{ github.sha }}):' >> comment
+          echo 'Perf run for [`'`git rev-parse --short ${{ github.sha }}`'`](https://github.com/higherorderco/hvm-64/commit/${{ github.sha }}):' >> comment
           echo '```' >> comment
           cat table >> comment
           echo '```' >> comment
@@ -50,7 +49,7 @@ jobs:
             gh api graphql -F pr=${{ github.event.number }} -f query='
               query($pr: Int!) {
                 organization(login: "higherorderco") {
-                  repository(name: "hvm-core") {
+                  repository(name: "hvm-64") {
                     pullRequest(number: $pr) {
                       comments(last: 100) {
                         nodes { id author { login } }

.github/workflows/delete-cancelled.yml

@@ -5,12 +5,12 @@ on:
     inputs:
       run_id:
         type: string
-        description: "" 
+        description: ""
 
 jobs:
   delete:
     runs-on: ubuntu-latest
     steps:
-      - run: gh api "repos/higherorderco/hvm-core/actions/runs/${{ inputs.run_id }}" -X DELETE
+      - run: gh api "repos/higherorderco/hvm-64/actions/runs/${{ inputs.run_id }}" -X DELETE
         env:
           GH_TOKEN: ${{ secrets.PAT }}

Cargo.toml

@@ -13,14 +13,14 @@ missing_safety_doc = "allow"
 new_ret_no_self = "allow"
 
 [package]
-name = "hvmc"
-version = "0.2.26"
+name = "hvm64"
+version = "0.3.0"
 edition = "2021"
 description = "HVM-Core is a massively parallel Interaction Combinator evaluator."
 license = "MIT"
 
 [[bin]]
-name = "hvmc"
+name = "hvm64"
 path = "src/main.rs"
 bench = false
 required-features = ["std"]
@@ -39,11 +39,11 @@ ordered-float = { version = "4.2.0" }
 parking_lot = "0.12.2"
 thiserror = "1.0.58"
 
-hvmc-ast = { path = "./ast" }
-hvmc-runtime = { path = "./runtime" }
-hvmc-transform = { path = "./transform" }
-hvmc-util = { path = "./util" }
-hvmc-host = { path = "./host" }
+hvm64-ast = { path = "./ast" }
+hvm64-runtime = { path = "./runtime" }
+hvm64-transform = { path = "./transform" }
+hvm64-util = { path = "./util" }
+hvm64-host = { path = "./host" }
 
 [dev-dependencies]
 insta = { version = "1.34.0", features = ["glob"] }
@@ -52,4 +52,4 @@ serial_test = "3.0.0"
 [features]
 default = ["std"]
 std = []
-trace = ["hvmc-runtime/trace"]
+trace = ["hvm64-runtime/trace"]