Issues

• prover: learn from a path that ends early (return, panic, a -> ! call)

  vx-lang/Vx#1326 · Filter by author hiraditya opened on Oct 6, 2026

• vx_std_core does not build on aarch64 Linux: vx_env_arg returns *mut c_char as *mut i8

  vx-lang/Vx#1311 · Filter by author figtracer opened on Oct 6, 2026

• A module const or a product of const generics cannot be a tensor extent

  vx-lang/Vx#1310 · Filter by author figtracer opened on Oct 6, 2026

• A spawn loop that writes at an offset from the loop variable runs on one GPU thread, with no warning

  vx-lang/Vx#1309 · Filter by author figtracer opened on Oct 6, 2026

• A machine-file Topology with arch: nvptx64 runs its kernels on the GPU but allocates its memory on the host

  vx-lang/Vx#1308 · Filter by author figtracer opened on Oct 6, 2026

• Is using postcondition to mark nonreturning functions a good idea

  vx-lang/Vx#1276 · Filter by author hiraditya opened on Oct 6, 2026
  1

• Review existing package managers and build systems.

  vx-lang/Vx#1275 · Filter by author hiraditya opened on Oct 6, 2026 · v0.1: package manager

• lang: a never type, -> !, for functions that never return

  vx-lang/Vx#1273 · Filter by author hiraditya opened on Oct 6, 2026 · v0.0.3

• Ship our own LLVM with the Vx release

  vx-lang/Vx#1269 · Filter by author hiraditya opened on Oct 6, 2026 · v0.0.3

• grad through rsqrt gives no result: Enzyme has no derivative for it

  vx-lang/Vx#1265 · Filter by author hiraditya opened on Oct 6, 2026

• Inside a trait's default method, self.m() should call that trait's m

  vx-lang/Vx#1253 · Filter by author hiraditya opened on Oct 6, 2026

• An mlir! block cannot answer a type parameter: returns : T is not replaced when the generic is instantiated

  bug
  vx-lang/Vx#1239 · Filter by author hiraditya opened on Oct 6, 2026

• vx-format turns escape sequences in string literals into raw characters

  bug
  vx-lang/Vx#1237 · Filter by author hiraditya opened on Oct 6, 2026

• flat codegen: a function returning a struct with an enum field is declined

  bugcodegen
  vx-lang/Vx#1235 · Filter by author hiraditya opened on Oct 6, 2026

• Result<void, E> cannot be built: Ok() wants a payload and Err(e) does not match its own type

  bug
  vx-lang/Vx#1234 · Filter by author hiraditya opened on Oct 6, 2026

• A product of two literals is typed i32 or f32 even beside an i64 or f64 operand

  vx-lang/Vx#1232 · Filter by author hiraditya opened on Oct 5, 2026

• VxCheck: check every allocation against the capacity checker, then prove in Lean that admitted programs never exceed their spaces

  vx-lang/Vx#1209 · Filter by author figtracer opened on Oct 5, 2026

• fleet/admit.vx: the 12·layers·d² weight term gives 57–61% of real checkpoints, and the activation term assumes every token is live

  vx-lang/Vx#1206 · Filter by author figtracer opened on Oct 5, 2026

• fleet/h200.vx and fleet/mi300x.vx have no HBM -> CPU_DRAM edge, so the unmodified admit.vx fails with E6002

  vx-lang/Vx#1205 · Filter by author figtracer opened on Oct 5, 2026

• fleet/b200.vx declares 192 GiB; a B200 has 179.1 GiB (192 GB), and every fleet file admits a tensor the device refuses

  vx-lang/Vx#1204 · Filter by author figtracer opened on Oct 5, 2026

• A static shape that overflows u64 or folds negative is reported as dynamic (W1029) and admitted; codegen allocates a wrapped size

  vx-lang/Vx#1203 · Filter by author figtracer opened on Oct 5, 2026

• Capacity admission counts bool, i4 and u4 tensors as packed bits, but the generated code allocates one byte per element

  vx-lang/Vx#1202 · Filter by author figtracer opened on Oct 5, 2026

• A function that returns a row as a ?-shaped tensor fails to compile on both code generators

  vx-lang/Vx#1186 · Filter by author hiraditya opened on Oct 5, 2026

• reshape with PadMode::Pad to more elements reads past the source buffer

  bugcodegen
  vx-lang/Vx#1183 · Filter by author hiraditya opened on Oct 5, 2026

• vxc --version does not say which commit the compiler was built from

  build-cigood first issue
  vx-lang/Vx#1180 · Filter by author hiraditya opened on Oct 5, 2026