
StarkNet
STRKLayer 2Cairo is the first Turing-complete language for creating provable programs for general computation.
Top Contributors
Recent Commits
a0b78152 days agofix(starknet): don't let the embeddable_as wrapper's component local shadow a parameter (#10273)
orizi
8e2d7145 days agoFormatter: Break arm's pattern before breaking the expression (if it's a block). (#10266)
liorgold2
c1af7655 days agofix(semantic): recover from a salsa cycle in enum_definition_data instead of panicking (#10268)
orizi
6f7030a5 days ago(bug fix): complete all nightly benchmark stages even when one alerts on degradation (#10265)
orizi
a80b8865 days agofix(semantic): use a trivia-free origin span for the consteval_int! code mapping (#10262)
orizi
6da52796 days agobugfix(formatter): keep parameter-list comment formatting idempotent (#10208)
futurehua
13b83ee6 days ago(bug fix): don't orphan non-droppable inputs in variable forwarding (#10260)
eytan-starkware
3fb94576 days agofix(semantic): don't ICE on a deref chain whose downstream impl has the wrong assoc-type count (#10257)
orizi
27a65626 days agofix(semantic): don't leak a closure's early-return into the enclosing loop (#10258)
orizi
44aedc06 days agofix(parser): don't consume the EOF sentinel in a truncated `for` expression (#10254)
orizi
eaac0d26 days agodocs(reference): fix the mutable tuple-pattern example; mut is per-binding (#10253)
orizi
a972f336 days agodocs(corelib): close the unterminated code fence in storage_node module docs (#10251)
orizi
bf5ceaa6 days agorefactor(runner): Made runner call-info update more direct for updates. (#10249)
orizi
0199eaa6 days agofix(lowering): desnap snapshot-only captured members instead of ICEing (#10240)
orizi