Search results

spec: Formalize chip assumptions

enhancementNew feature or requestNew feature or request

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

Status: Open.

#639 In yetanotherco/lambda_vm;

· RobinJadoul opened on Jun 1, 2026

spec: review ALU chips for redundancies and optimizations

enhancementNew feature or requestNew feature or request

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

Status: Open.

#638 In yetanotherco/lambda_vm;

· RobinJadoul opened on Jun 1, 2026

spec: invalid padding

enhancementNew feature or requestNew feature or request

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

Status: Open.

Task

#634 In yetanotherco/lambda_vm;

· erik-3milabs opened on May 29, 2026

ACT4 nightly failure

act4-nightlyTriggered by a ACT4 nightly workflow runTriggered by a ACT4 nightly workflow run

Status: Open.

#632 In yetanotherco/lambda_vm;

· github-actions opened on May 28, 2026

spec: Investigate IS_WORD chip tradeoff

enhancementNew feature or requestNew feature or request

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

Status: Open.

#623 In yetanotherco/lambda_vm;

· RobinJadoul opened on May 26, 2026

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

Register accesses now diverge from spec

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

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