vx-lang/Vx

AST codegen: `true as i32` sign-extends the i1, giving -1 about 6 hours ago

bug good first issue codegen

0

Vx — one language, every core. (staging for the vx-lang transfer)

Rust

There is no `while` loop: the keyword does not exist, and the fixture that appears to test it tests something else about 16 hours ago

enhancement good first issue core-lang testing

vx-lang/Vx

0

Vx — one language, every core. (staging for the vx-lang transfer)

Rust

Provide a Dockerfile and a published image 5 days ago

good first issue devex build-ci

vx-lang/Vx

0

Vx — one language, every core. (staging for the vx-lang transfer)

Rust

decision: `invariant` requires parentheses while `requires` and `ensures` accept them optionally 5 days ago

bug good first issue core-lang

vx-lang/Vx

0

Vx — one language, every core. (staging for the vx-lang transfer)

Rust

[GH CI] Release workflow runs on forks when tags are synced 5 days ago

good first issue build-ci

vx-lang/Vx

0

Vx — one language, every core. (staging for the vx-lang transfer)

Rust

[GH CI] Enzyme library lookup in ci.yml has no empty-result guard 7 days ago

good first issue build-ci

vx-lang/Vx

0

Vx — one language, every core. (staging for the vx-lang transfer)

Rust

[GH CI] Release workflow puts the workflow_dispatch version input straight into a shell script 7 days ago

good first issue build-ci

vx-lang/Vx

0

Vx — one language, every core. (staging for the vx-lang transfer)

Rust

Parser: Decouple Topologies and generic types from hardcoded strings 12 days ago

good first issue core-lang refactor

vx-lang/Vx

0

Vx — one language, every core. (staging for the vx-lang transfer)

Rust

The z3 version is unpinned, and it discharges proof obligations 12 days ago

bug good first issue build-ci

vx-lang/Vx

0

Vx — one language, every core. (staging for the vx-lang transfer)

Rust

Document Strict Tensor Shape Matching Requirements 12 days ago

documentation good first issue core-lang

vx-lang/Vx

0

Vx — one language, every core. (staging for the vx-lang transfer)

Rust

Vx-core: Test AstPrinter 12 days ago

good first issue core-lang testing

vx-lang/Vx

0

Vx — one language, every core. (staging for the vx-lang transfer)

Rust

tests: tensor arithmetic over i32/i64/f64 and 1D/3D/4D shapes lost its coverage when tensor_math.mlr was retired 12 days ago

good first issue codegen testing

vx-lang/Vx

0

Vx — one language, every core. (staging for the vx-lang transfer)

Rust

User-facing diagnostics print the Rust Debug of internal AST structs, spans and all 12 days ago

bug good first issue diagnostics

vx-lang/Vx

0

Vx — one language, every core. (staging for the vx-lang transfer)

Rust

--run merges the program's stderr into its stdout, and two remote_client tests fail on Linux because of it 12 days ago

bug good first issue devex

vx-lang/Vx

0

Vx — one language, every core. (staging for the vx-lang transfer)

Rust

A void value is treated as linear: using it twice is a move error 12 days ago

bug good first issue core-lang

vx-lang/Vx

0

Vx — one language, every core. (staging for the vx-lang transfer)

Rust

Refactor `unwrap()` and type signatures in `src/codegen/generator.rs` to use `Result` 12 days ago

help wanted codegen refactor

vx-lang/Vx

0

Vx — one language, every core. (staging for the vx-lang transfer)

Rust

145 pass-tier tests assert only `// CHECK: module`, which no output can fail 12 days ago

help wanted testing

vx-lang/Vx

0

Vx — one language, every core. (staging for the vx-lang transfer)

Rust

Issue numbers and codewords in code comments: 380 of them, against a rule that says none 12 days ago

good first issue devex refactor

vx-lang/Vx

0

Vx — one language, every core. (staging for the vx-lang transfer)

Rust

Twelve W1xxx codes are declared and emitted nowhere, including three that hide real mistakes 12 days ago

bug good first issue diagnostics

vx-lang/Vx

0

Vx — one language, every core. (staging for the vx-lang transfer)

Rust

The unused-variable scan does not count a method call as a use of its receiver 12 days ago

bug good first issue core-lang diagnostics

vx-lang/Vx

0

Vx — one language, every core. (staging for the vx-lang transfer)

Rust

A shared const-generic dimension is silently rebound by the second argument 12 days ago

bug good first issue core-lang

vx-lang/Vx

0

Vx — one language, every core. (staging for the vx-lang transfer)

Rust

Open Issues Need Help