Allow defining const negative `NonZero`. - Githubissues

starkware-libs / cairo

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

Apache License 2.0

1.56k stars 479 forks source link

Allow defining const negative `NonZero`. #6425

Closed orizi closed 2 days ago

orizi commented 5 days ago

Stack:

6428
6427
6426
6425 ⬅
6424
6423

⚠️ Part of a stack created by spr. Do not merge manually using the UI - doing so may have unexpected results.

This change is