All pull requests

Pull requests

• formal: prove DRF-SC for programs in Lean

  #1856·hiraditya opened Oct 18, 2026Collaborator·5/5·

  ·

• formal: check that the Lean model and vx.cat agree on the CPU tests

  #1855·hiraditya opened Oct 18, 2026Collaborator·4/5·

  ·

• formal: prove DRF-SC for the CPU memory model in Lean

  #1854·hiraditya opened Oct 18, 2026Collaborator·3/5·

  ·

• formal: compare the CPU memory model with RC11 and AArch64

  #1852·hiraditya opened Oct 17, 2026Collaborator·2/5·

  ·

• formal: an executable memory model of Vx in herd7

  #1851·hiraditya opened Oct 17, 2026Collaborator·1/5·

  ·

• docs: evaluation order and sequence points for Vx

  #1846·hiraditya opened Oct 17, 2026Collaborator·

  ·

• check: a borrow made inside a call argument lasts after the call

  #1845·hiraditya opened Oct 17, 2026Collaborator·

  ·
  1

  1

• tools, fleet: restore the reviewed VRAM ceiling and Arc transfer figures

  #1843·hiraditya opened Oct 16, 2026Collaborator·

  ·
  1

• xpu: choose the device pipeline from the declared arch (#1137)

  #1842·epsilon-phase opened Oct 16, 2026Contributor·

  ·
  1

  1

• check: the result of Type::method(r) keeps the borrow of r

  #1841·hiraditya opened Oct 16, 2026Collaborator·

  ·
  1

• lang: pub fn exports a function from the object file

  #1839·hiraditya opened Oct 16, 2026Collaborator·

  ·

• check: warn when a spawn region with barrier() runs on one thread

  #1838·hiraditya opened Oct 16, 2026Collaborator·

  ·

• tests: a RUN line without --legacy-codegen never falls back to the AST code generator

  #1835·hiraditya opened Oct 16, 2026Collaborator·2/2·

  ·

• tests: name the AST run of EXPECT lines as one half of the parity check

  #1834·hiraditya opened Oct 16, 2026Collaborator·

  ·

• parser: name the keyword when a reserved word is used as a binding

  #1832·fengqiaoqu opened Oct 16, 2026·

  ·
  1

  2

• check: code after return, break or continue is checked

  #1830·hiraditya opened Oct 15, 2026Collaborator·

  ·
  1

• check: giving a variable a new value ends the borrows it held

  #1829·hiraditya opened Oct 15, 2026Collaborator·

  ·
  1

• check: o = o reads the moved o before it gets a new value

  #1828·hiraditya opened Oct 15, 2026Collaborator·

  ·
  1

• check: the built-in GPU cannot see host memory

  #1826·hiraditya opened Oct 15, 2026Collaborator·

  ·
  1

• check: a write through *m is checked against a shared borrow of *m

  #1824·hiraditya opened Oct 15, 2026Collaborator·

  ·
  1

• check: a reference made from another reference keeps its borrow

  #1823·hiraditya opened Oct 15, 2026Collaborator·

  ·
  3

• tests: a plain RUN line next to a --legacy-codegen one uses the default path

  #1817·hiraditya opened Oct 15, 2026Collaborator·1/2·

  ·
  1

  1

• lang: add borrow-aware fat slice references

  #1709·yiannisha opened Oct 12, 2026·

  ·
  1

  1

• lang: add char and length-carrying str literals

  #1708·yiannisha opened Oct 12, 2026·

  ·
  1

  1

• vxc --version names the commit the compiler was built from

  #1693·bajpainaman opened Oct 12, 2026·

  ·
  1