Issue del repository

cryspen/hax

A Rust verification tool

Vedi su GitHub
Star
 (456 stelle)
Fork
 (61 fork)
Issue indicizzate
 (5 issue indicizzate)
issue per principianti aperte
 (5 issue per principianti aperte)
Ultima indicizzazione
13 ago 2026
Ultimo push GitHub
2 lug 2026
Licenza
Apache License 2.0
Guida contributori
Guida contributori
Codice di condotta
Nessun codice di condotta
Linguaggio principale
OCaml
Metriche merge PR
 (Metriche PR in attesa)
Label per principianti
good first issuehelp wanted

Issue

5 issue indicizzate aperte

Aperta
Support `let` without initialization
enginehelp wantedkeep-openmarked-unimplementedunsupported-rust
Perché consigliataNessun assegnatario · Nessun commento
Nessun assegnatarioNessun commentoHa una label adatta ai principiantiGuida alla contribuzione disponibile

cryspen / hax · #156 · 23 giu 2023 · OCaml · 456 stelle

0 commenti1 reazione0 assegnatari
Aperta
`loop {...}` (when not a `for` or `while`)
backendenginegood first issuekeep-openunsupported-rust
Perché consigliataNessun assegnatario · Ha una label adatta ai principianti
Nessun assegnatarioHa una label adatta ai principiantiGuida alla contribuzione disponibile

cryspen / hax · #124 · 6 giu 2023 · OCaml · 456 stelle

2 commenti0 reazioni0 assegnatari
Aperta
Attributes: deduplicate parent attributes
P2frontendgood first issuehelp wantedkeep-open
Perché consigliataNessun assegnatario · Ha una label adatta ai principianti
Nessun assegnatarioHa una label adatta ai principiantiGuida alla contribuzione disponibile

cryspen / hax · #123 · 6 giu 2023 · OCaml · 456 stelle

4 commenti0 reazioni0 assegnatari
Aperta
`while let .. = .. {}`
enginegood first issuehelp wantedkeep-openunsupported-rust
Perché consigliataNessun assegnatario · Ha una label adatta ai principianti
Nessun assegnatarioHa una label adatta ai principiantiGuida alla contribuzione disponibile

cryspen / hax · #113 · 2 giu 2023 · OCaml · 456 stelle

1 commento0 reazioni0 assegnatari