fix(simt): soundness and correctness fixes for the cuda-oxide bridge …

f74daee

Select commit

Loading

Failed to load commit list.

Uh oh!

There was an error while loading. Please reload this page.

naming-guard on: pull_request 2

reserved-oxide-symbols literal guard

docs on: pull_request 2

cargo doc + doctests

status-guard on: pull_request 29

error-example status guard

smoketest example contract

crate inventory

toolchain pin parity

CLI command reference

book device-API names

book import order

source references

book catalog stamp

test-matrix coverage

device-only kernel crate

host API paths in docs and templates

shared host-crate pin parity

oxide-artifacts release parity

codeql on: pull_request 4

Analyze (actions)

Analyze (rust)

examples-compile on: pull_request 3

compile all examples (device pipeline, GPU-less)

CI on: pull_request 67

fmt / fmt

clippy / clippy

unit-tests / cargo test -p dialect-iket

unit-tests / cargo test -p iket-lower

unit-tests / cargo test -p ptx-parse

unit-tests / cargo test -p dialect-ptx

unit-tests / cargo test -p ptx-schedule

unit-tests / cargo test -p cuda-intrinsics-gen

unit-tests / cargo test -p cuda-target-spec

unit-tests / cargo test -p cuda-intrinsics

unit-tests / cargo test -p llvm-export

unit-tests / cargo test -p dialect-mir

unit-tests / cargo test -p dialect-nvvm

unit-tests / cargo test -p mir-importer

unit-tests / cargo test -p cuda-oxide-codegen

unit-tests / cargo test -p mir-lower

unit-tests / cargo test -p mir-transforms

unit-tests / cargo test -p nvvm-transforms

unit-tests / cargo test -p oxide-artifacts

unit-tests / cargo test -p reserved-oxide-symbols

unit-tests / cargo test -p cuda-macros

unit-tests / cargo test -p cuda-device

unit-tests / cargo test -p libnvvm-sys

unit-tests / cargo test -p nvjitlink-sys

unit-tests / cargo test -p cuda-artifact-finalizer

unit-tests / cargo test -p cuda-host

unit-tests / cargo test -p cargo-oxide

unit-tests / cargo test --lib (rustc-codegen-cuda)

unit-tests / generated intrinsics are current and ABI-compatible

cargo-deny / check

cargo-deny / dependency-licenses.csv covers every declared crate

cargo-deny / deny.toml governs the example workspaces

cargo-deny / every source file carries the SPDX header

cutile-rs-pr on: push 3

changes

tile-ir-cuda13-2

tile-ir-cuda13-4

build

semver-checks

shared-crates-cuda13

reactor-verification

Code scanning results

CodeQL

Select a check to view from the sidebar