Repository Issues

cryspen/hax

A Rust verification tool

Auf GitHub ansehen
Stars
 (456 Sterne)
Forks
 (61 Forks)
Indexierte Issues
 (5 indexierte Issues)
offene Einsteiger-Issues
 (5 offene Einsteiger-Issues)
Zuletzt indexiert
13.08.2026
Letzter GitHub Push
02.07.2026
Lizenz
Apache License 2.0
Contributing Guide
Contributing Guide
Code of Conduct
Kein Code of Conduct
Hauptsprache
OCaml
PR-Merge-Metriken
 (PR-Metriken ausstehend)
Einsteiger-Labels
good first issuehelp wanted

Issues

5 offene indexierte Issues

Offen
Support `let` without initialization
enginehelp wantedkeep-openmarked-unimplementedunsupported-rust
Warum empfohlenNoch niemand zugewiesen · Noch keine Kommentare
Noch niemand zugewiesenNoch keine KommentareEinsteigerfreundliches Label vorhandenBeitragsleitfaden verfügbar

cryspen / hax · #156 · 23.06.2023 · OCaml · 456 Sterne

0 Kommentare1 Reaktion0 zugewiesene Personen
Offen
`loop {...}` (when not a `for` or `while`)
backendenginegood first issuekeep-openunsupported-rust
Warum empfohlenNoch niemand zugewiesen · Einsteigerfreundliches Label vorhanden
Noch niemand zugewiesenEinsteigerfreundliches Label vorhandenBeitragsleitfaden verfügbar

cryspen / hax · #124 · 06.06.2023 · OCaml · 456 Sterne

2 Kommentare0 Reaktionen0 zugewiesene Personen
Offen
Attributes: deduplicate parent attributes
P2frontendgood first issuehelp wantedkeep-open
Warum empfohlenNoch niemand zugewiesen · Einsteigerfreundliches Label vorhanden
Noch niemand zugewiesenEinsteigerfreundliches Label vorhandenBeitragsleitfaden verfügbar

cryspen / hax · #123 · 06.06.2023 · OCaml · 456 Sterne

4 Kommentare0 Reaktionen0 zugewiesene Personen
Offen
`while let .. = .. {}`
enginegood first issuehelp wantedkeep-openunsupported-rust
Warum empfohlenNoch niemand zugewiesen · Einsteigerfreundliches Label vorhanden
Noch niemand zugewiesenEinsteigerfreundliches Label vorhandenBeitragsleitfaden verfügbar

cryspen / hax · #113 · 02.06.2023 · OCaml · 456 Sterne

1 Kommentar0 Reaktionen0 zugewiesene Personen