-
Notifications
You must be signed in to change notification settings - Fork 1
Issues
is:issue state:open
is:issue state:open
Issue creation is restricted in this repository
Search results
spec: document checked-writes-yields-safe-reads methodology
specUpdates and improvements to the spec documentUpdates and improvements to the spec documentStatus: Open.#694 In yetanotherco/lambda_vm;spec: Formalize chip assumptions
enhancementNew feature or requestNew feature or requestspecUpdates and improvements to the spec documentUpdates and improvements to the spec documentStatus: Open.#639 In yetanotherco/lambda_vm;spec: review ALU chips for redundancies and optimizations
enhancementNew feature or requestNew feature or requestspecUpdates and improvements to the spec documentUpdates and improvements to the spec documentStatus: Open.#638 In yetanotherco/lambda_vm;spec: invalid padding
enhancementNew feature or requestNew feature or requestspecUpdates and improvements to the spec documentUpdates and improvements to the spec documentStatus: Open.#634 In yetanotherco/lambda_vm;spec: Investigate IS_WORD chip tradeoff
enhancementNew feature or requestNew feature or requestspecUpdates and improvements to the spec documentUpdates and improvements to the spec documentStatus: Open.#623 In yetanotherco/lambda_vm;- Status: Open.#622 In yetanotherco/lambda_vm;
Proofs of programs that use the
print_stringsyscall are not validbugSomething isn't workingSomething isn't workingStatus: Open.#588 In yetanotherco/lambda_vm;Complete Proof System subsections
documentationImprovements or additions to documentationImprovements or additions to documentationStatus: Open.#587 In yetanotherco/lambda_vm;Update
make depsdocumentationImprovements or additions to documentationImprovements or additions to documentationStatus: Open.#586 In yetanotherco/lambda_vm;- Status: Open.#580 In yetanotherco/lambda_vm;
Register accesses now diverge from spec
specUpdates and improvements to the spec documentUpdates and improvements to the spec documentStatus: Open.#569 In yetanotherco/lambda_vm;spec: Introduce chip/template correctness proofs
specUpdates and improvements to the spec documentUpdates and improvements to the spec documentStatus: Open.#484 In yetanotherco/lambda_vm;