All pull requests

Pull requests

• fix(cuda-bindings): require cuRAND headers during toolkit discovery

  #1548·PavanaSakethaRam opened Oct 19, 2026·2 of 4 tasks·

  ·
  1

  1

• fix(cutile-compiler): a view op declared -> Token evaluates to its token

  #1547·robertream opened Oct 19, 2026·

  ·
  1

• fix(cutile): use unordered compare for float !=

  #1546·Rachit2323 opened Oct 18, 2026·1 of 5 tasks·

  ·
  1

• feat(cuda-device): prove witness arithmetic with Kani

  #1544·younes-io opened Oct 18, 2026·4 of 6 tasks·

  ·
  1

  2

• fix(cutile): keep the slice offset in TensorView::view specialization

  #1541·younes-io opened Oct 18, 2026·2 of 5 tasks·

  ·
  1

  1

• fix(cuda-async): reject zero streams in StreamPoolRoundRobin::new

  #1539·younes-io opened Oct 18, 2026·2 of 5 tasks·

  ·
  1

  1

• fix(mir-lower): lower float % to libdevice fmod

  #1537·younes-io opened Oct 18, 2026·5 tasks done·

  ·
  1

  1

• fix(cutile): lower a writable tensor parameter to its block's slab view

  #1532·almightychang opened Oct 16, 2026Contributor·

  ·
  1

  1

• fix(compiler): compare instantiated tile types in binary operators

  #1529·almightychang opened Oct 16, 2026Contributor·

  ·
  1

  1

• fix(cutile-compiler): attribute short-circuit boolean constants to expression span

  #1528·GiGiKoneti opened Oct 16, 2026·

  ·
  1

• feat(fuzzer): generate Static and StaticMut with Miri-checked provenance

  cuda-oxide
  #1525·uurl opened Oct 16, 2026Contributor·

  ·
  1

• fix(cuda-async): require unsafe kernel argument setup

  #1524·efegokdemir opened Oct 16, 2026·

  ·
  1

• fix(cutile-rs): keep every launch-site specialization

  #1521·rdeaton opened Oct 15, 2026·4 tasks done·

  ·
  1

• fix(cutile-rs): reject a const_grid with a zero dimension

  #1520·rdeaton opened Oct 15, 2026·4 tasks done·

  ·
  1

• cuda-core: safe element casts require AnyBitPattern; bool is DeviceCopy

  cuda-oxidecutile-rsruntimesafety
  #1516·elibol opened Oct 13, 2026Collaborator·

  ·
  1

  3

• fix: admit scalar arithmetic on verified pre-Ampere targets

  cuda-oxide
  #1512·ssoj13 opened Oct 13, 2026·

  ·
  1

• docs(examples): move atomics to the typed-slice sound form

  cuda-oxide
  #1500·navneet83 opened Oct 12, 2026Contributor·

  ·
  1

• fix(codegen): keep the artifact objects of rlibs out of the LTO input

  cuda-oxide
  #1496·fxeqxmulfx opened Oct 11, 2026·4 of 5 tasks·

  ·
  1

  1

• fix(cuda-core): return an error on interior NUL in module loading

  #1492·alejandro-soto-franco opened Oct 11, 2026Contributor·

  ·
  1

• fix: return jit errors for malformed cutile dimensions

  #1486·uurl opened Oct 11, 2026Contributor·

  ·
  1

  1

• fix(cutile): attribute generated entry setup to the user signature

  #1480·elibol opened Oct 10, 2026Collaborator·

  ·
  1

• build: add CUDA 13.4 and 13.x versions to default candidates

  #1474·temotskipa opened Oct 10, 2026·2 of 4 tasks·

  ·
  1

• fix: standardize non-negative enum types for windows msvc

  #1473·temotskipa opened Oct 10, 2026·2 tasks done·

  ·
  1

  1

• fix(cuda-macros): obey #[inline] on generic device functions

  cuda-oxide
  #1472·fxeqxmulfx opened Oct 10, 2026·4 of 5 tasks·

  ·
  1

  1

• fix(cutile): preserve boolean and unsigned literal values

  #1470·filipkunc opened Oct 10, 2026·2 tasks done·

  ·
  1

  1