Skip to content
Draft
Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
95 commits
Select commit Hold shift + click to select a range
444c22a
test-only: 43 exact LLVM ownership reject-contract blobs
the1mills Oct 10, 2026
7b06a40
test-only: SHA-pin LLVM i64 explicit ownership and async-boundary CTests
the1mills Oct 10, 2026
927d94b
test-only: sync corrected LLVM suspend-operation diagnostic contract
the1mills Oct 10, 2026
d3188bc
test-only: exact LLVM PR #44 borrow/lifetime mirror (55 verified blobs)
the1mills Oct 10, 2026
cff9b1c
test-only: validate borrowed arguments at every unsupported suspensio…
the1mills Oct 10, 2026
6a489ed
test-only: 58 SHA-pinned Oreslang LLVM native reborrow and negative-b…
the1mills Oct 10, 2026
3655b93
ci(llvm): mirror PR49 parser source with keyword hardening
the1mills Oct 10, 2026
2287d16
ci(llvm): integrate PR49 suspends and keyword contracts atop current …
the1mills Oct 10, 2026
12aae11
ci(llvm): mirror exact PR49 source tests/fixtures/unsupported-suspend…
the1mills Oct 10, 2026
f84553a
ci(llvm): mirror exact PR49 source tests/native_reserved_java_keyword…
the1mills Oct 10, 2026
63647b2
ci(llvm): exact-blob funded CTest for PR49 integrated onto current LL…
the1mills Oct 10, 2026
2a17f85
ci: expose funded LLVM parity run on draft pull requests
the1mills Oct 10, 2026
ff10030
ci(llvm): exact mirror DOP src/main/cpp/oreslang/frontend/Parser.cpp
the1mills Oct 10, 2026
8afb67e
ci(llvm): exact mirror DOP CMakeLists.txt
the1mills Oct 10, 2026
257966c
ci(llvm): exact mirror DOP docs/ACCELERATOR_DOP_ACTOR_PIPELINE.md
the1mills Oct 10, 2026
9146923
ci(llvm): exact mirror DOP src/main/cpp/oreslang/runtime/DopLayout.hpp
the1mills Oct 10, 2026
6f3bc72
ci(llvm): exact mirror DOP tests/dop_layout_test.cpp
the1mills Oct 10, 2026
46985fc
ci(llvm): exact mirror DOP tests/fixtures/unsupported-gpu-expression.…
the1mills Oct 10, 2026
9e7133e
ci(llvm): exact mirror DOP tests/fixtures/unsupported-gpu-kernel.ores
the1mills Oct 10, 2026
4f00bbe
ci(llvm): exact mirror DOP tests/fixtures/unsupported-quantum-kernel.…
the1mills Oct 10, 2026
cfeecf3
ci(llvm): exact blob DOP and GPU quantum admission release testing
the1mills Oct 10, 2026
44f38aa
ci: scope old PR49 exact-blob workflow to its own test branch
the1mills Oct 10, 2026
a735281
ci(llvm): mirror PR36 exact CMakeLists.txt
the1mills Oct 10, 2026
02f4e0d
ci(llvm): mirror PR36 exact src/main/cpp/oreslang/runtime/FixedArena.hpp
the1mills Oct 10, 2026
efb7d63
ci(llvm): mirror exact fixed arena test
the1mills Oct 10, 2026
76f7885
ci: scope exact PR47 workflow to PR47 branch
the1mills Oct 10, 2026
205d38e
ci(llvm): fund exact-blob PR36 CTest on merged #47 mainline
the1mills Oct 10, 2026
1d9e425
ci(llvm): integrate graph arena CTest source
the1mills Oct 10, 2026
dfef0ef
ci(llvm): mirror graph arena src/main/cpp/oreslang/runtime/Determinis…
the1mills Oct 10, 2026
8757136
ci(llvm): mirror graph arena tests/deterministic_graph_arena_test.cpp
the1mills Oct 10, 2026
473f24c
ci: scope PR36 exact-blob test to PR36 branch
the1mills Oct 10, 2026
cc0a210
ci(llvm): funded exact PR38 graph arena test on merged #36
the1mills Oct 10, 2026
bf4d0b9
ci(llvm): mirror exact lexical parity source src/main/cpp/oreslang/fr…
the1mills Oct 10, 2026
45f549f
ci(llvm): mirror exact lexical parity source src/main/cpp/oreslang/fr…
the1mills Oct 10, 2026
0d1ad8d
ci(llvm): mirror exact lexical parity source src/main/cpp/oreslang/ba…
the1mills Oct 10, 2026
3b8dea9
ci(llvm): mirror exact lexical parity source src/main/cpp/oreslang/ty…
the1mills Oct 10, 2026
e4e445a
ci(llvm): mirror exact lexical parity source CMakeLists.txt
the1mills Oct 10, 2026
cff7983
ci: exact lexical lifetime fixture owned-lexical-main
the1mills Oct 10, 2026
d2ac07a
ci: exact lexical lifetime fixture owned-duplicate
the1mills Oct 10, 2026
266135c
ci: exact lexical lifetime fixture owned-uninitialized
the1mills Oct 10, 2026
92ca246
ci: exact lexical lifetime fixture owned-use-before-declaration
the1mills Oct 10, 2026
b8d494b
ci: exact lexical lifetime fixture owned-unsupported-heap
the1mills Oct 10, 2026
d73076e
ci: exact lexical lifetime fixture owned-local-shared-borrow
the1mills Oct 10, 2026
f69e33d
ci: exact lexical lifetime fixture owned-local-mutable-borrow
the1mills Oct 10, 2026
4530429
ci: exact lexical lifetime fixture owned-local-use-after-take
the1mills Oct 10, 2026
5d69933
ci: build full LLVM native CTests against exact 13-blob lexical parit…
the1mills Oct 10, 2026
7852d4e
ci: fill exact current-main LLVM critical and select contracts
the1mills Oct 10, 2026
75a3007
ci: fill exact current-main LLVM critical and select contracts
the1mills Oct 10, 2026
431d756
ci: fill exact current-main LLVM critical and select contracts
the1mills Oct 10, 2026
2072876
ci: fill exact current-main LLVM critical and select contracts
the1mills Oct 10, 2026
a615027
ci: fill exact current-main LLVM critical and select contracts
the1mills Oct 10, 2026
46e2c40
ci: fill exact current-main LLVM critical and select contracts
the1mills Oct 10, 2026
76418c6
ci: fill exact current-main LLVM critical and select contracts
the1mills Oct 10, 2026
ae45e10
fix(llvm): use typed ConstantInt lifetime length for LLVM17 API
the1mills Oct 10, 2026
6014518
ci: pin repaired exact LLVM17 codegen blob
the1mills Oct 10, 2026
c3c7034
ci: reconcile LLVM current accelerator main CMakeLists.txt
the1mills Oct 10, 2026
cef647d
ci: reconcile LLVM current accelerator main src/main/cpp/oreslang/run…
the1mills Oct 10, 2026
32a95e5
ci: mirror new current-main DOP accelerator contract src/main/cpp/ore…
the1mills Oct 10, 2026
e776e11
ci: mirror new current-main DOP accelerator contract src/main/cpp/ore…
the1mills Oct 10, 2026
f808167
ci: mirror new current-main DOP accelerator contract src/main/cpp/ore…
the1mills Oct 10, 2026
f10833b
ci: mirror new current-main DOP accelerator contract tests/dop_kernel…
the1mills Oct 10, 2026
b0eb10c
ci: mirror new current-main DOP accelerator contract tests/gpu_buffer…
the1mills Oct 10, 2026
a1d2fa0
ci: mirror new current-main DOP accelerator contract tests/quantum_ci…
the1mills Oct 10, 2026
4e23244
ci: pin 20 LLVM lexical plus DOP current-main exact blobs
the1mills Oct 10, 2026
69b3707
ci(llvm): exact native owned scalar parity source CMakeLists.txt
the1mills Oct 10, 2026
64e60fe
ci(llvm): exact native owned scalar parity source src/main/cpp/oresla…
the1mills Oct 10, 2026
22bf527
ci(llvm): exact native owned scalar parity source src/main/cpp/oresla…
the1mills Oct 10, 2026
43ed9d8
ci(llvm): exact native owned scalar parity source src/main/cpp/oresla…
the1mills Oct 10, 2026
cbeea1b
ci(llvm): exact native owned scalar parity source tests/contract.py
the1mills Oct 10, 2026
e2d2e0e
ci: exact native region ownership ABI blob src/main/cpp/oreslang/runt…
the1mills Oct 10, 2026
87a176c
ci: exact native region ownership ABI blob src/main/cpp/oreslang/runt…
the1mills Oct 10, 2026
f0f736d
ci: exact native region ownership ABI blob tests/native_owned_region_…
the1mills Oct 10, 2026
0f47b36
ci: exact native region ownership ABI blob docs/NATIVE_OWNED_SCALAR_H…
the1mills Oct 10, 2026
c796de8
ci: exact native region ownership ABI blob tests/fixtures/owned-nativ…
the1mills Oct 10, 2026
fdf039e
ci: exact native region ownership ABI blob tests/fixtures/owned-nativ…
the1mills Oct 10, 2026
5895780
ci: exact native region ownership ABI blob tests/fixtures/owned-nativ…
the1mills Oct 10, 2026
5ffbc0c
ci: validate 27 exact source and region runtime blobs, full LLVM CTests
the1mills Oct 10, 2026
401f537
ci: mirror actor native persistent heap CMake
the1mills Oct 10, 2026
018ae5a
ci: exact persistent actor heap native contract src/main/cpp/oreslang…
the1mills Oct 10, 2026
7bd37e2
ci: exact persistent actor heap native contract src/main/cpp/oreslang…
the1mills Oct 10, 2026
53f5e05
ci: exact persistent actor heap native contract tests/actor_owned_hea…
the1mills Oct 10, 2026
dfd0572
ci: exact persistent actor heap native contract docs/ACTOR_PERSISTENT…
the1mills Oct 10, 2026
39b30da
ci: verify 30 exact LLVM actor persistent heap blobs plus full CTest
the1mills Oct 10, 2026
4ca18bf
ci: exact shared loan no-write safety patch src/main/cpp/oreslang/run…
the1mills Oct 10, 2026
35988c3
ci: exact shared loan no-write safety patch src/main/cpp/oreslang/run…
the1mills Oct 10, 2026
923a32f
ci: exact shared loan no-write safety patch tests/actor_owned_heap_li…
the1mills Oct 10, 2026
539cf40
ci: exact shared loan no-write safety patch docs/ACTOR_PERSISTENT_NO_…
the1mills Oct 10, 2026
c33484b
ci: pin shared read-loan mutation denial exact LLVM blobs
the1mills Oct 10, 2026
65c1042
ci: exact ActorGroup lifecycle CMake test contract
the1mills Oct 10, 2026
65b3a85
ci: exact managed ActorGroup lifecycle source src/main/cpp/oreslang/r…
the1mills Oct 10, 2026
82cea62
ci: exact managed ActorGroup lifecycle source tests/actor_group_lifec…
the1mills Oct 10, 2026
60324a7
ci: exact managed ActorGroup lifecycle source docs/ACTOR_GROUP_MANAGE…
the1mills Oct 10, 2026
fac9167
ci: exact managed ActorGroup lifecycle source tests/fixtures/unsuppor…
the1mills Oct 10, 2026
e7d24e0
ci: exact managed ActorGroup lifecycle source tests/fixtures/unsuppor…
the1mills Oct 10, 2026
0347528
ci: current-head ActorGroup lifecycle parity and exact blob validation
the1mills Oct 10, 2026
File filter

Filter by extension

Filter by extension


Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
31 changes: 31 additions & 0 deletions .github/workflows/oreslang-llvm-borrow.yml
Original file line number Diff line number Diff line change
@@ -0,0 +1,31 @@
name: LLVM Nonescaping i64 Borrow ABI
on:
push:
branches: [test/llvm-i64-borrow-20261010, test/llvm-i64-reborrow-20261010]
workflow_dispatch:
permissions:
contents: read
jobs:
native-borrow:
runs-on: ubuntu-24.04
timeout-minutes: 30
steps:
- uses: actions/checkout@11d5960a326750d5838078e36cf38b85af677262
with:
persist-credentials: false
- name: Check 58 exact native source, compiler, and test blobs
shell: bash
run: |
set -euo pipefail
test "$(wc -l < mirror/llvm-borrow-blobs.txt)" -eq 58
while read -r expected filename; do
test "$(git hash-object "$filename")" = "$expected" || { echo "Mismatched: $filename" >&2; exit 1; }
done < mirror/llvm-borrow-blobs.txt
- name: Install LLVM toolchain
run: sudo apt-get update && sudo apt-get install -y build-essential cmake clang llvm-dev python3
- name: Build LLVM native compiler
run: |
cmake -S mirror/llvm -B mirror/llvm/build -DCMAKE_BUILD_TYPE=Release -DBUILD_TESTING=ON
cmake --build mirror/llvm/build --parallel 2
- name: Run all native CTests
run: ctest --test-dir mirror/llvm/build --output-on-failure
31 changes: 31 additions & 0 deletions .github/workflows/oreslang-llvm-i64-ownership.yml
Original file line number Diff line number Diff line change
@@ -0,0 +1,31 @@
name: LLVM i64 Ownership and Async Admission
on:
push:
branches: [test/llvm-i64-ownership-20261010]
workflow_dispatch:
permissions:
contents: read
jobs:
native-borrow:
runs-on: ubuntu-24.04
timeout-minutes: 30
steps:
- uses: actions/checkout@11d5960a326750d5838078e36cf38b85af677262
with:
persist-credentials: false
- name: Check 53 exact native source, compiler, and test blobs
shell: bash
run: |
set -euo pipefail
test "$(wc -l < mirror/llvm-i64-ownership-blobs.txt)" -eq 53
while read -r expected filename; do
test "$(git hash-object "$filename")" = "$expected" || { echo "Mismatched: $filename" >&2; exit 1; }
done < mirror/llvm-i64-ownership-blobs.txt
- name: Install LLVM toolchain
run: sudo apt-get update && sudo apt-get install -y build-essential cmake clang llvm-dev python3
- name: Build LLVM native compiler
run: |
cmake -S mirror/llvm -B mirror/llvm/build -DCMAKE_BUILD_TYPE=Release -DBUILD_TESTING=ON
cmake --build mirror/llvm/build --parallel 2
- name: Run all native CTests
run: ctest --test-dir mirror/llvm/build --output-on-failure
32 changes: 32 additions & 0 deletions .github/workflows/oreslang-llvm-pr35.yml
Original file line number Diff line number Diff line change
@@ -0,0 +1,32 @@
name: LLVM PR35 ownership fail-closed CTest
on:
push:
branches: [test/llvm-ownership-fail-closed-20261010]
workflow_dispatch:
permissions:
contents: read
jobs:
llvm-ownership:
runs-on: ubuntu-24.04
timeout-minutes: 25
steps:
- uses: actions/checkout@11d5960a326750d5838078e36cf38b85af677262
with:
persist-credentials: false
- name: Verify 43 exact LLVM source blobs
shell: bash
run: |
set -euo pipefail
test "$(wc -l < mirror/llvm-pr35-blobs.txt)" -eq 43
while read -r expected filename; do
actual="$(git hash-object "$filename")"
if [ "$actual" != "$expected" ]; then echo "blob mismatch: $filename" >&2; exit 1; fi
done < mirror/llvm-pr35-blobs.txt
- name: Install LLVM toolchain
run: sudo apt-get update && sudo apt-get install -y build-essential cmake clang llvm-dev python3
- name: Compile native LLVM parser and codegen
run: |
cmake -S mirror/llvm -B mirror/llvm/build -DCMAKE_BUILD_TYPE=Release -DBUILD_TESTING=ON
cmake --build mirror/llvm/build --parallel 2
- name: Validate positive native execution and negative borrow admission
run: ctest --test-dir mirror/llvm/build --output-on-failure
65 changes: 65 additions & 0 deletions .github/workflows/oresvm-llvm-lexical-parity.yml
Original file line number Diff line number Diff line change
@@ -0,0 +1,65 @@
name: LLVM lexical owned locals exact-source parity
on:
pull_request:
workflow_dispatch:
permissions:
contents: read
jobs:
lexical-parity:
if: github.head_ref == 'test/oresvm-llvm-actor-group-parity-20261010'
runs-on: ubuntu-24.04
timeout-minutes: 35
steps:
- uses: actions/checkout@11d5960a326750d5838078e36cf38b85af677262
with:
persist-credentials: false
- name: Verify 34 exact LLVM ActorGroup parity source blobs
shell: bash
run: |
set -euo pipefail
while read -r expected path; do
test "$(git hash-object "$path")" = "$expected" || { echo "Source blob mismatch $path" >&2; exit 1; }
done <<'BLOBS'
1898fdd94d0e70d4958509ff31a7914b6a6a02c4 mirror/llvm/CMakeLists.txt
17816d859d501cfba6a8146f346b71333c60f114 mirror/llvm/src/main/cpp/oreslang/frontend/Parser.hpp
d089c8e4ccc459c09d54ade5bcffbd0d7a911ed4 mirror/llvm/src/main/cpp/oreslang/frontend/Parser.cpp
49a128e73d224a5c44fe571821962201fe134e03 mirror/llvm/src/main/cpp/oreslang/backend/LlvmCodegen.cpp
11f2a01ad47bb2e1dbb8935ec5c245fbc28b4be5 mirror/llvm/src/main/cpp/oreslang/types/OwnershipChecker.cpp
08cb13d117fc04bd6d9911c75f1b2bcfa73f2c32 mirror/llvm/tests/fixtures/owned-lexical-main.ores
b644d34a4c5c730e548f27b514ec7223b243d5dc mirror/llvm/tests/fixtures/owned-duplicate.ores
3357d54d38ac1602a639f66966b59f783f2e09ef mirror/llvm/tests/fixtures/owned-uninitialized.ores
c4e49c5054e145939b01549f76a19b0dcb942726 mirror/llvm/tests/fixtures/owned-use-before-declaration.ores
6cbdcbbdf33131107d934174bcffd7bbb68b80d2 mirror/llvm/tests/fixtures/owned-unsupported-heap.ores
1278ca8311f2cc90b4c0ec34978244c99e37d377 mirror/llvm/tests/fixtures/owned-local-shared-borrow.ores
8dd650b43cb872a3566f5edce44e4477b399689a mirror/llvm/tests/fixtures/owned-local-mutable-borrow.ores
a76f79590b59da62e9063eea5dfac4fe49c1f066 mirror/llvm/tests/fixtures/owned-local-use-after-take.ores
fea958c2fffd2a3023819c7afff2a8ddc9e82db3 mirror/llvm/src/main/cpp/oreslang/runtime/DopLayout.hpp
ee384bca438104c6cf1d1dacd6d42493aeed1702 mirror/llvm/src/main/cpp/oreslang/runtime/DopKernelIR.hpp
5c317b9431086ee8793b65f8b6b66718c165b2e6 mirror/llvm/src/main/cpp/oreslang/runtime/GpuBufferFence.hpp
18036cdba7e9bf0605947eabfc38d3429a000a70 mirror/llvm/src/main/cpp/oreslang/runtime/QuantumCircuitIR.hpp
325931269c3197eb969990df11ffb94d34487a6d mirror/llvm/tests/dop_kernel_lowering_test.cpp
0a8a86d2d3eb85bf0bc36aa5f4c188d7b13f5f64 mirror/llvm/tests/gpu_buffer_fence_test.cpp
4f53b95c4f9bda69bb08bc05749a9d2a031007d5 mirror/llvm/tests/quantum_circuit_lowering_test.cpp
80d55b7477dc75d8232f997020a005882a0d16ef mirror/llvm/tests/contract.py
a3cd19c34575773920615cdc79d1fc04e93a4244 mirror/llvm/src/main/cpp/oreslang/runtime/NativeOwnedI64Region.c
3d847d9bc36074d343279f646267f1b31708893e mirror/llvm/src/main/cpp/oreslang/runtime/NativeOwnedI64Region.h
3288a70c6024876b9788a21f885be77ca6e83efd mirror/llvm/tests/native_owned_region_test.c
46a3406b116202e1e103dd4156282f46cacade99 mirror/llvm/tests/fixtures/owned-native-region-main.ores
142cf6942063fbafc665fa73772263142090fa5d mirror/llvm/tests/fixtures/owned-native-region-call.ores
19d4ed4acc303a560639278a55f2fa898f19a05f mirror/llvm/tests/fixtures/owned-native-region-unsupported.ores
523fe22ef2288f8ace6a72cfde830abbfbe058f5 mirror/llvm/src/main/cpp/oreslang/runtime/ActorOwnedI64Heap.c
4d4daf97deae263feca753f886c359da9b1c3d42 mirror/llvm/src/main/cpp/oreslang/runtime/ActorOwnedI64Heap.h
2723407bb09974daf0cf1b774313cb3b2caf3a96 mirror/llvm/tests/actor_owned_heap_lifecycle_test.c
548800d1cb6f9357e3929c3aa20d44dee982bf27 mirror/llvm/src/main/cpp/oreslang/runtime/ActorGroupLifecycle.hpp
b5ea0c46f370a7d4a1b8fc0db5ddba8049424887 mirror/llvm/tests/actor_group_lifecycle_test.cpp
b417dfb9e4c3a7ad37e1ccacd199963dd8588478 mirror/llvm/tests/fixtures/unsupported-actor-group-spawn.ores
a30103ecb812ed4259e5679e6c1f987cd7b2488e mirror/llvm/tests/fixtures/unsupported-actor-group-await-spawn.ores
BLOBS
- name: Install LLVM
run: sudo apt-get update && sudo apt-get install -y build-essential cmake clang llvm-dev python3
- name: Build native compiler under Release
run: |
cmake -S mirror/llvm -B mirror/llvm/build-lexical -DCMAKE_BUILD_TYPE=Release -DBUILD_TESTING=ON
cmake --build mirror/llvm/build-lexical --parallel 2
- name: Run complete native CTest suite and executable lexical parity
run: ctest --test-dir mirror/llvm/build-lexical --output-on-failure
40 changes: 40 additions & 0 deletions .github/workflows/oresvm-llvm-pr36-fixed-arena.yml
Original file line number Diff line number Diff line change
@@ -0,0 +1,40 @@
name: Oreslang LLVM PR36 fixed arena Release contracts
on:
push:
branches: [test/oresvm-llvm-pr36-fixed-arena-20261010]
pull_request:
workflow_dispatch:
permissions:
contents: read
jobs:
native-fixed-arena:
if: github.head_ref == 'test/oresvm-llvm-pr36-fixed-arena-20261010' || github.ref == 'refs/heads/test/oresvm-llvm-pr36-fixed-arena-20261010'
runs-on: ubuntu-24.04
timeout-minutes: 30
steps:
- uses: actions/checkout@11d5960a326750d5838078e36cf38b85af677262
with:
persist-credentials: false
- name: Verify exact integrated native compiler and allocator blobs
shell: bash
run: |
set -euo pipefail
while read -r expected path; do
actual="$(git hash-object "$path")"
test "$actual" = "$expected" || { echo "Blob mismatch: $path $actual != $expected" >&2; exit 1; }
done <<'BLOBS'
a9c72cc0b298db6c6f679c81b053dfa293097780 mirror/llvm/CMakeLists.txt
d8b0e7555712567d530b60f57aa8917d68df4b8a mirror/llvm/src/main/cpp/oreslang/runtime/FixedArena.hpp
e222cad00c7240ac9084e8e3ca2f9895d1573e61 mirror/llvm/tests/fixed_arena_test.cpp
0f12d825a6e89ea3a301a8f57efdd67553a3771b mirror/llvm/src/main/cpp/oreslang/frontend/Parser.cpp
b96de29433d3d931f73f1a54026a535533ec2b82 mirror/llvm/src/main/cpp/oreslang/runtime/DopLayout.hpp
92c42c41c6432fc0bd038f5ea12654f3d3861a5c mirror/llvm/src/main/cpp/oreslang/types/OwnershipChecker.cpp
8a5a56cf36b8637c1937c7abd852ba27139d6340 mirror/llvm/src/main/cpp/oreslang/backend/LlvmCodegen.cpp
BLOBS
- name: Install LLVM toolchain
run: sudo apt-get update && sudo apt-get install -y build-essential cmake clang llvm-dev python3
- name: Compile and test all LLVM native contracts with assertions always on
run: |
cmake -S mirror/llvm -B mirror/llvm/build -DCMAKE_BUILD_TYPE=Release -DBUILD_TESTING=ON
cmake --build mirror/llvm/build --parallel 2
ctest --test-dir mirror/llvm/build --output-on-failure
38 changes: 38 additions & 0 deletions .github/workflows/oresvm-llvm-pr38-graph.yml
Original file line number Diff line number Diff line change
@@ -0,0 +1,38 @@
name: Oreslang LLVM PR38 deterministic actor graph arena
on:
push:
branches: [test/oresvm-llvm-pr38-graph-20261010]
pull_request:
workflow_dispatch:
permissions:
contents: read
jobs:
native-graph:
runs-on: ubuntu-24.04
timeout-minutes: 30
steps:
- uses: actions/checkout@11d5960a326750d5838078e36cf38b85af677262
with:
persist-credentials: false
- name: Verify integrated source blob identities
shell: bash
run: |
set -euo pipefail
while read -r expected path; do
test "$(git hash-object "$path")" = "$expected" || { echo "Blob mismatch $path" >&2; exit 1; }
done <<'BLOBS'
d82ed6eedad173f58013c92e26bf2f72b878892a mirror/llvm/CMakeLists.txt
fbba477ae6a6bb4a9b221cc0e3a64357275e370f mirror/llvm/src/main/cpp/oreslang/runtime/DeterministicGraphArena.hpp
895394c84de7a544086647e7f89b52c66d4e35b2 mirror/llvm/tests/deterministic_graph_arena_test.cpp
d8b0e7555712567d530b60f57aa8917d68df4b8a mirror/llvm/src/main/cpp/oreslang/runtime/FixedArena.hpp
0f12d825a6e89ea3a301a8f57efdd67553a3771b mirror/llvm/src/main/cpp/oreslang/frontend/Parser.cpp
b96de29433d3d931f73f1a54026a535533ec2b82 mirror/llvm/src/main/cpp/oreslang/runtime/DopLayout.hpp
92c42c41c6432fc0bd038f5ea12654f3d3861a5c mirror/llvm/src/main/cpp/oreslang/types/OwnershipChecker.cpp
BLOBS
- name: Install LLVM toolchain
run: sudo apt-get update && sudo apt-get install -y build-essential cmake clang llvm-dev python3
- name: Native full suite, Release (-DNDEBUG)
run: |
cmake -S mirror/llvm -B mirror/llvm/build -DCMAKE_BUILD_TYPE=Release -DBUILD_TESTING=ON
cmake --build mirror/llvm/build --parallel 2
ctest --test-dir mirror/llvm/build --output-on-failure
44 changes: 44 additions & 0 deletions .github/workflows/oresvm-llvm-pr47-dop.yml
Original file line number Diff line number Diff line change
@@ -0,0 +1,44 @@
name: Oreslang LLVM PR47 DOP accelerator admission
on:
push:
branches: [test/oresvm-llvm-pr47-dop-20261010]
pull_request:
workflow_dispatch:
permissions:
contents: read
jobs:
native-dop:
if: github.head_ref == 'test/oresvm-llvm-pr47-dop-20261010' || github.ref == 'refs/heads/test/oresvm-llvm-pr47-dop-20261010'
runs-on: ubuntu-24.04
timeout-minutes: 30
steps:
- uses: actions/checkout@11d5960a326750d5838078e36cf38b85af677262
with:
persist-credentials: false
- name: Verify source-exact integrated LLVM blobs
shell: bash
run: |
set -euo pipefail
while read -r expected path; do
actual="$(git hash-object "$path")"
test "$actual" = "$expected" || { echo "Blob mismatch: $path $actual != $expected" >&2; exit 1; }
done <<'BLOBS'
b4667fe7cf8cb413185623837d4a6e0d2ee780af mirror/llvm/CMakeLists.txt
0f12d825a6e89ea3a301a8f57efdd67553a3771b mirror/llvm/src/main/cpp/oreslang/frontend/Parser.cpp
5efb47fa904d956a217c1345f4c772805cae95cb mirror/llvm/docs/ACCELERATOR_DOP_ACTOR_PIPELINE.md
b96de29433d3d931f73f1a54026a535533ec2b82 mirror/llvm/src/main/cpp/oreslang/runtime/DopLayout.hpp
348f32bcd53223301e703091fa037cb479fbc3a4 mirror/llvm/tests/dop_layout_test.cpp
bd88ec61ded56a1fb49c67534923cc7904272141 mirror/llvm/tests/fixtures/unsupported-gpu-expression.ores
6b91515e0bc285c2c62cb6538ad4391560e67ea9 mirror/llvm/tests/fixtures/unsupported-gpu-kernel.ores
cbfa3e008c1cd314da3b55ab6f2ab3b8483f0b8f mirror/llvm/tests/fixtures/unsupported-quantum-kernel.ores
92c42c41c6432fc0bd038f5ea12654f3d3861a5c mirror/llvm/src/main/cpp/oreslang/types/OwnershipChecker.cpp
8a5a56cf36b8637c1937c7abd852ba27139d6340 mirror/llvm/src/main/cpp/oreslang/backend/LlvmCodegen.cpp
3230c3e4d94632f055eec659b593cdc6fbd7f5f4 mirror/llvm/tests/native_reserved_java_keywords.py
BLOBS
- name: Install LLVM toolchain
run: sudo apt-get update && sudo apt-get install -y build-essential cmake clang llvm-dev python3
- name: Release native compiler, DOP tests, all conformance
run: |
cmake -S mirror/llvm -B mirror/llvm/build -DCMAKE_BUILD_TYPE=Release -DBUILD_TESTING=ON
cmake --build mirror/llvm/build --parallel 2
ctest --test-dir mirror/llvm/build --output-on-failure
43 changes: 43 additions & 0 deletions .github/workflows/oresvm-llvm-pr49-keyword-parity.yml
Original file line number Diff line number Diff line change
@@ -0,0 +1,43 @@
name: Oreslang LLVM PR49 keyword parity integration
on:
push:
branches: [test/oresvm-llvm-pr49-keywords-20261010]
workflow_dispatch:
pull_request:
permissions:
contents: read
jobs:
native-keyword-parity:
if: github.head_ref == 'test/oresvm-llvm-pr49-keywords-20261010' || github.ref == 'refs/heads/test/oresvm-llvm-pr49-keywords-20261010'
runs-on: ubuntu-24.04
timeout-minutes: 30
steps:
- uses: actions/checkout@11d5960a326750d5838078e36cf38b85af677262
with:
persist-credentials: false
- name: Verify exact candidate source blob identities
shell: bash
run: |
set -euo pipefail
# Integration candidate: LLVM main 73c7e5b plus PR49 suspends and reserved-keyword overlays.
# Check source-derived blobs, the intended integrated CMake, and selected mainline baselines.
while read -r expected path; do
actual="$(git hash-object "$path")"
test "$actual" = "$expected" || { echo "Blob mismatch: $path $actual != $expected" >&2; exit 1; }
done <<'BLOBS'
49d2862894f31d93d07a532f42167645acfbf578 mirror/llvm/CMakeLists.txt
869a99603f8afd4603b7a31bbe8a84da533ae758 mirror/llvm/src/main/cpp/oreslang/frontend/Parser.cpp
3230c3e4d94632f055eec659b593cdc6fbd7f5f4 mirror/llvm/tests/native_reserved_java_keywords.py
2ac4db9fe80e837d9d35cd98952ee62512a4c829 mirror/llvm/tests/fixtures/unsupported-suspends.ores
92c42c41c6432fc0bd038f5ea12654f3d3861a5c mirror/llvm/src/main/cpp/oreslang/types/OwnershipChecker.cpp
8a5a56cf36b8637c1937c7abd852ba27139d6340 mirror/llvm/src/main/cpp/oreslang/backend/LlvmCodegen.cpp
7fa665b8a9ec74b1cb3cc8dfb4a32ed7067fbf53 mirror/llvm/tests/native_ownership_boundary_matrix.py
BLOBS
- name: Install LLVM and C++ compiler
run: sudo apt-get update && sudo apt-get install -y build-essential cmake clang llvm-dev python3
- name: Build LLVM native compiler in Release
run: |
cmake -S mirror/llvm -B mirror/llvm/build -DCMAKE_BUILD_TYPE=Release -DBUILD_TESTING=ON
cmake --build mirror/llvm/build --parallel 2
- name: Execute all LLVM contracts and native fixtures
run: ctest --test-dir mirror/llvm/build --output-on-failure
Loading
Loading