cairo icon indicating copy to clipboard operation
cairo copied to clipboard

verified publisher icon starkware-libs
→

Metadata

Cairo is the first Turing-complete language for creating provable programs for general computation.

Results 338 cairo issues
Sort by recently updated
recently updated
newest added

Sorting used item by stable id.

1 comment

orizi avatar orizi

Remove lang-runner explicit iteration

1 comment

charlessswang avatar charlessswang

Uninline storage_base_address_from_felt252 to reduce code size.

1 comment

ilyalesokhin-starkware avatar ilyalesokhin-starkware

Assert that there are no unused remappings.

1 comment

ilyalesokhin-starkware avatar ilyalesokhin-starkware

filter unused remappings.

1 comment

ilyalesokhin-starkware avatar ilyalesokhin-starkware

Apply ReturnOptimization to the input of the match optimizer test.

6 comment

ilyalesokhin-starkware avatar ilyalesokhin-starkware

Better impl missing implementations Diagnostics (what caused the failure of an impl)

orizi avatar orizi

Faster compilation times

1 comment

ob1337 avatar ob1337

Tuple Structs

2 comment

orizi avatar orizi

Tuple member style access (.0, .1, .2 and so on)

orizi avatar orizi

← Metadata

1.6k
Stars
475
Forks
Watchers

Owner

verified publisher icon starkware-libs

Metadata

Cairo is the first Turing-complete language for creating provable programs for general computation.

Back