Issues

• 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

• Emacs major mode for .vx files

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

• examples/llama.vx prints garbage: weight matrices not transposed, and SiLU is wrong

  vx-lang/Vx#1216 · Filter by author Andrewfeng123 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

• vxc prints a debug line '[flat-codegen] emitted module via the flat path' on every compile

  devexgood first issue
  vx-lang/Vx#1179 · Filter by author hiraditya opened on Oct 5, 2026

• Warnings and errors do not say which file they are in

  diagnosticsgood first issue
  vx-lang/Vx#1178 · Filter by author hiraditya opened on Oct 5, 2026

• [GH CI] setup non-unix CI runner

  vx-lang/Vx#1170 · Filter by author minzyfox opened on Oct 4, 2026

• stdlib: reject invalid I/O lengths before they reach Rust - stdio, tcp

  vx-lang/Vx#1169 · Filter by author minzyfox opened on Oct 4, 2026

• Views: views in struct fields and in device code

  core-langenhancement
  vx-lang/Vx#1168 · Filter by author hiraditya opened on Oct 4, 2026

• Views: column and strided views

  core-langenhancement
  vx-lang/Vx#1167 · Filter by author hiraditya opened on Oct 4, 2026

• Views: disjoint mutable ranges of one tensor (split-K)

  core-langenhancement
  vx-lang/Vx#1166 · Filter by author hiraditya opened on Oct 4, 2026

• Views: decide view operands from the type, not from MLIR type text

  core-langenhancement
  vx-lang/Vx#1165 · Filter by author hiraditya opened on Oct 4, 2026

• Views: the view type in the checker and both code generators

  core-langenhancement
  vx-lang/Vx#1164 · Filter by author hiraditya opened on Oct 4, 2026

• legacy codegen: a function cannot return a row

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

• Views: taking a view counts as zero bytes in the traffic counter

  core-langenhancement
  vx-lang/Vx#1161 · Filter by author hiraditya opened on Oct 4, 2026

• Views: a row, reshape or field of a placed tensor keeps its placement

  core-langenhancement
  vx-lang/Vx#1160 · Filter by author hiraditya opened on Oct 4, 2026

• Views: measure the copies a view type would remove

  core-langenhancement
  vx-lang/Vx#1159 · Filter by author hiraditya opened on Oct 4, 2026