0xMiden/air-script
Vedi su GitHubA domain-specific language for writing AIR constraints for STARKs
- Stelle
- 96
- Fork
- 39
- Issue aperte per principianti
- 0
- Issue indicizzate
- 87
- Lingua principale
- Rust
- Licenza
- MIT
- Ultimo push su GitHub
- 6/3/2026
- Ultima indicizzazione
- 13/9/2026
- Guida per i contributori
- Guida per i contributori
- Codice di condotta
- Nessun codice di condotta
- Label per principianti
- good first issue
- Metriche di merge delle PR
- Nessuna PR unita negli ultimi 30g
-
Improve IR tests ApertaIR tests
0xMiden/air-script#7 · 0 commenti · 0 reazioni · 1 assegnatario ·
-
Add unit tests for codegen Apertatests
0xMiden/air-script#9 · 3 commenti · 0 reazioni · 1 assegnatario ·
-
0xMiden/air-script#31 · 0 commenti · 0 reazioni · 0 assegnatari ·
-
0xMiden/air-script#43 · 0 commenti · 0 reazioni · 1 assegnatario ·
-
on hold
0xMiden/air-script#66 · 4 commenti · 0 reazioni · 0 assegnatari ·
-
Recoverable Errors Apertaon hold parser
0xMiden/air-script#88 · 2 commenti · 0 reazioni · 0 assegnatari ·
-
on hold
0xMiden/air-script#90 · 3 commenti · 2 reazioni · 0 assegnatari ·
-
codegen
0xMiden/air-script#131 · 0 commenti · 0 reazioni · 0 assegnatari ·
-
0xMiden/air-script#135 · 3 commenti · 1 reazione · 0 assegnatari ·
-
0xMiden/air-script#167 · 2 commenti · 0 reazioni · 0 assegnatari ·
-
0xMiden/air-script#170 · 0 commenti · 0 reazioni · 0 assegnatari ·
-
0xMiden/air-script#174 · 0 commenti · 0 reazioni · 0 assegnatari ·
-
MidenVM constraints
0xMiden/air-script#182 · 4 commenti · 0 reazioni · 0 assegnatari ·
-
0xMiden/air-script#198 · 1 commento · 0 reazioni · 1 assegnatario ·
-
MidenVM constraints
0xMiden/air-script#199 · 0 commenti · 0 reazioni · 0 assegnatari ·
-
MidenVM constraints
0xMiden/air-script#201 · 0 commenti · 0 reazioni · 1 assegnatario ·
-
MidenVM constraints
0xMiden/air-script#202 · 0 commenti · 0 reazioni · 1 assegnatario ·
-
MidenVM constraints
0xMiden/air-script#206 · 0 commenti · 0 reazioni · 1 assegnatario ·
-
MidenVM constraints
0xMiden/air-script#207 · 0 commenti · 0 reazioni · 0 assegnatari ·
-
MidenVM constraints
0xMiden/air-script#209 · 0 commenti · 0 reazioni · 1 assegnatario ·
-
MidenVM constraints
0xMiden/air-script#210 · 0 commenti · 0 reazioni · 0 assegnatari ·
-
MidenVM constraints
0xMiden/air-script#211 · 0 commenti · 0 reazioni · 1 assegnatario ·
-
0xMiden/air-script#220 · 0 commenti · 0 reazioni · 0 assegnatari ·
-
0xMiden/air-script#230 · 0 commenti · 0 reazioni · 0 assegnatari ·
-
0xMiden/air-script#231 · 0 commenti · 1 reazione · 0 assegnatari ·
-
Add IR tests Aperta
0xMiden/air-script#235 · 0 commenti · 0 reazioni · 1 assegnatario ·
-
0xMiden/air-script#240 · 1 commento · 2 reazioni · 0 assegnatari ·
-
0xMiden/air-script#244 · 0 commenti · 0 reazioni · 1 assegnatario ·
-
0xMiden/air-script#268 · 0 commenti · 0 reazioni · 0 assegnatari ·
-
0xMiden/air-script#273 · 0 commenti · 0 reazioni · 0 assegnatari ·
-
good first issue
0xMiden/air-script#275 · 4 commenti · 0 reazioni · 0 assegnatari ·
-
Stdlib for airscript Aperta
0xMiden/air-script#294 · 1 commento · 0 reazioni · 0 assegnatari ·
-
0xMiden/air-script#313 · 1 commento · 0 reazioni · 0 assegnatari ·
-
Sort public inputs by name Aperta
0xMiden/air-script#314 · 0 commenti · 1 reazione · 0 assegnatari ·
-
Sort boundary constraints Aperta
0xMiden/air-script#315 · 1 commento · 0 reazioni · 0 assegnatari ·
-
parser
0xMiden/air-script#334 · 0 commenti · 0 reazioni · 1 assegnatario ·
-
0xMiden/air-script#346 · 0 commenti · 1 reazione · 0 assegnatari ·
-
Reproducible Build Aperta
0xMiden/air-script#347 · 0 commenti · 0 reazioni · 0 assegnatari ·
-
0xMiden/air-script#354 · 0 commenti · 1 reazione · 0 assegnatari ·
-
MidenVM constraints
0xMiden/air-script#377 · 7 commenti · 0 reazioni · 1 assegnatario ·
-
IR parser
0xMiden/air-script#379 · 2 commenti · 0 reazioni · 0 assegnatari ·
-
JSON output for Fabric VPU Apertacodegen
0xMiden/air-script#381 · 2 commenti · 0 reazioni · 0 assegnatari ·
-
0xMiden/air-script#384 · 1 commento · 1 reazione · 0 assegnatari ·
-
tests
0xMiden/air-script#390 · 0 commenti · 0 reazioni · 0 assegnatari ·
-
codegen
0xMiden/air-script#391 · 0 commenti · 0 reazioni · 1 assegnatario ·
-
0xMiden/air-script#392 · 0 commenti · 0 reazioni · 0 assegnatari ·
-
Add `no_std` support Aperta
0xMiden/air-script#393 · 0 commenti · 0 reazioni · 0 assegnatari ·
-
0xMiden/air-script#397 · 2 commenti · 0 reazioni · 0 assegnatari ·
-
0xMiden/air-script#407 · 0 commenti · 0 reazioni · 0 assegnatari ·
-
Test ACE layout Apertatests
0xMiden/air-script#421 · 0 commenti · 1 reazione · 0 assegnatari ·