Issues du dépôt

cryspen/hax

A Rust verification tool

Voir sur GitHub
Stars
 (456 étoiles)
Forks
 (61 forks)
Issues indexées
 (5 issues indexées)
issues débutant ouvertes
 (5 issues débutant ouvertes)
Dernière indexation
13 août 2026
Dernier push GitHub
2 juil. 2026
Licence
Apache License 2.0
Guide de contribution
Guide de contribution
Code de conduite
Aucun code de conduite
Langage principal
OCaml
Métriques de merge PR
 (Métriques PR en attente)
Labels débutant
good first issuehelp wanted

Issues

5 issues indexées ouvertes

Ouverte
Support `let` without initialization
enginehelp wantedkeep-openmarked-unimplementedunsupported-rust
Pourquoi recommandéeAucune personne assignée · Aucun commentaire pour l'instant
Aucune personne assignéeAucun commentaire pour l'instantLabel adapté aux débutantsGuide de contribution disponible

cryspen / hax · #156 · 23 juin 2023 · OCaml · 456 étoiles

0 commentaire1 réaction0 personne assignée
Ouverte
`loop {...}` (when not a `for` or `while`)
backendenginegood first issuekeep-openunsupported-rust
Pourquoi recommandéeAucune personne assignée · Label adapté aux débutants
Aucune personne assignéeLabel adapté aux débutantsGuide de contribution disponible

cryspen / hax · #124 · 6 juin 2023 · OCaml · 456 étoiles

2 commentaires0 réaction0 personne assignée
Ouverte
Attributes: deduplicate parent attributes
P2frontendgood first issuehelp wantedkeep-open
Pourquoi recommandéeAucune personne assignée · Label adapté aux débutants
Aucune personne assignéeLabel adapté aux débutantsGuide de contribution disponible

cryspen / hax · #123 · 6 juin 2023 · OCaml · 456 étoiles

4 commentaires0 réaction0 personne assignée
Ouverte
`while let .. = .. {}`
enginegood first issuehelp wantedkeep-openunsupported-rust
Pourquoi recommandéeAucune personne assignée · Label adapté aux débutants
Aucune personne assignéeLabel adapté aux débutantsGuide de contribution disponible

cryspen / hax · #113 · 2 juin 2023 · OCaml · 456 étoiles

1 commentaire0 réaction0 personne assignée