Skip to content

Commit

Permalink
rename to hvm-64 (#131)
Browse files Browse the repository at this point in the history
  • Loading branch information
tjjfvi authored May 27, 2024
1 parent 7cdb1ff commit 3bae9fa
Show file tree
Hide file tree
Showing 173 changed files with 296 additions and 820 deletions.
11 changes: 5 additions & 6 deletions .github/workflows/bench.yml
Original file line number Diff line number Diff line change
@@ -1,7 +1,6 @@
name: Bench

on:
pull_request:
on: {} # temporarily disabled

concurrency:
group: bench-${{ github.ref }}
Expand All @@ -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
Expand All @@ -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 } }
Expand Down
4 changes: 2 additions & 2 deletions .github/workflows/delete-cancelled.yml
Original file line number Diff line number Diff line change
Expand Up @@ -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 }}
52 changes: 26 additions & 26 deletions Cargo.lock

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

18 changes: 9 additions & 9 deletions Cargo.toml
Original file line number Diff line number Diff line change
Expand Up @@ -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"]
Expand All @@ -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"] }
Expand All @@ -52,4 +52,4 @@ serial_test = "3.0.0"
[features]
default = ["std"]
std = []
trace = ["hvmc-runtime/trace"]
trace = ["hvm64-runtime/trace"]
Loading

0 comments on commit 3bae9fa

Please sign in to comment.