Search results

make test should not run CUDA tests

Status: Open.

#622 In yetanotherco/lambda_vm;

· gabrielbosio opened on May 22, 2026

Proofs of programs that use the print_string syscall are not valid

bugSomething isn't workingSomething isn't working

Status: Open.

#588 In yetanotherco/lambda_vm;

· gabrielbosio opened on May 15, 2026

Complete Proof System subsections

documentationImprovements or additions to documentationImprovements or additions to documentation

Status: Open.

#587 In yetanotherco/lambda_vm;

· gabrielbosio opened on May 15, 2026

Update make deps

documentationImprovements or additions to documentationImprovements or additions to documentation

Status: Open.

#586 In yetanotherco/lambda_vm;

· gabrielbosio opened on May 15, 2026

Disk spill cached LDE

Status: Open.

#580 In yetanotherco/lambda_vm;

· gabrielbosio opened on May 7, 2026

Batch IS_BYTE in spec

Status: Open.

#571 In yetanotherco/lambda_vm;

· erik-3milabs opened on Apr 28, 2026

Register accesses now diverge from spec

Status: Open.

#569 In yetanotherco/lambda_vm;

· jotabulacios opened on Apr 27, 2026

spec: Introduce chip/template correctness proofs

specUpdates and improvements to the spec documentUpdates and improvements to the spec document

Status: Open.

#484 In yetanotherco/lambda_vm;

· erik-3milabs opened on Apr 9, 2026

spec: Check padding satisfies constraints

specUpdates and improvements to the spec documentUpdates and improvements to the spec document

Status: Open.

#351 In yetanotherco/lambda_vm;

· RobinJadoul opened on Feb 23, 2026

For combinations, it may be better to shift values instead of using field operations, or at least use constants

Status: Open.

#347 In yetanotherco/lambda_vm;

· MauroToscano opened on Feb 20, 2026

spec: Tighter range checks

enhancementNew feature or requestNew feature or request

specUpdates and improvements to the spec documentUpdates and improvements to the spec document

Status: Open.

#326 In yetanotherco/lambda_vm;

· RobinJadoul opened on Feb 12, 2026

spec: Document expression language semantics

enhancementNew feature or requestNew feature or request

specUpdates and improvements to the spec documentUpdates and improvements to the spec document

Status: Open.

#325 In yetanotherco/lambda_vm;

· RobinJadoul opened on Feb 12, 2026