Issues do repositório

cryspen/hax

A Rust verification tool

Ver no GitHub
Stars
 (456 estrelas)
Forks
 (61 forks)
Issues indexadas
 (5 issues indexadas)
issues iniciantes abertas
 (5 issues iniciantes abertas)
Última indexação
13 de ago. de 2026
Último push no GitHub
2 de jul. de 2026
Guia de contribuição
Guia de contribuição
Código de conduta
Nenhum código de conduta
Linguagem principal
OCaml
Métricas de merge de PR
 (Métricas PR pendentes)
Labels para iniciantes
good first issuehelp wanted

Issues

5 issues indexadas abertas

Aberta
Por que recomendamosAinda sem responsável · Tem label amigável para iniciantes
Ainda sem responsávelTem label amigável para iniciantesGuia de contribuição disponível

cryspen / hax · #218 · 18 de ago. de 2023 · OCaml · 456 estrelas

7 comentários0 reação0 responsável
Aberta
Support `let` without initialization
enginehelp wantedkeep-openmarked-unimplementedunsupported-rust
Por que recomendamosAinda sem responsável · Ainda sem comentários
Ainda sem responsávelAinda sem comentáriosTem label amigável para iniciantesGuia de contribuição disponível

cryspen / hax · #156 · 23 de jun. de 2023 · OCaml · 456 estrelas

0 comentário1 reação0 responsável
Aberta
`loop {...}` (when not a `for` or `while`)
backendenginegood first issuekeep-openunsupported-rust
Por que recomendamosAinda sem responsável · Tem label amigável para iniciantes
Ainda sem responsávelTem label amigável para iniciantesGuia de contribuição disponível

cryspen / hax · #124 · 6 de jun. de 2023 · OCaml · 456 estrelas

2 comentários0 reação0 responsável
Aberta
Attributes: deduplicate parent attributes
P2frontendgood first issuehelp wantedkeep-open
Por que recomendamosAinda sem responsável · Tem label amigável para iniciantes
Ainda sem responsávelTem label amigável para iniciantesGuia de contribuição disponível

cryspen / hax · #123 · 6 de jun. de 2023 · OCaml · 456 estrelas

4 comentários0 reação0 responsável
Aberta
`while let .. = .. {}`
enginegood first issuehelp wantedkeep-openunsupported-rust
Por que recomendamosAinda sem responsável · Tem label amigável para iniciantes
Ainda sem responsávelTem label amigável para iniciantesGuia de contribuição disponível

cryspen / hax · #113 · 2 de jun. de 2023 · OCaml · 456 estrelas

1 comentário0 reação0 responsável