cryspen/hax

`loop {...}` (when not a `for` or `while`)

Offen

#124 geöffnet am 06.06.2023

Auf GitHub ansehenContributor Guide
 (2 Kommentare) (0 Reaktionen) (0 zugewiesene Personen)OCaml (61 Forks)auto 404
backendenginegood first issuekeep-openunsupported-rust

Repository-Metriken

Stars
 (456 Sterne)
PR-Merge-Metriken
 (Durchschn. Merge 4T 22h) (42 gemergte PRs in 30 T)

Beschreibung

Every backend rejects entirely plain loops (i.e. those that could not be interpreted as something with more structure such as a for loop for instance).

We should accept those and produce code for them, even if proving things about them will be painful.

Contributor Guide

Research-Richtung
Untersuchen Sie, wie das Tool derzeit mit Schleifenkonstrukten umgeht. Sehen Sie sich den Parser an, um zu sehen, wo einfache Schleifen abgelehnt werden, und überprüfen Sie dann den Codegenerierungspfad, um zu verstehen, welche Änderungen erforderlich sind, um sie zu akzeptieren und Code für sie zu erzeugen.
Tech Stack
rust
Domain
backend
Issue Type
Funktion
SchwierigkeitGeschätzte Implementierungsschwierigkeit für neue Contributors, von 1 für sehr kleine Änderungen bis 5 für Expertenarbeit.
3
Geschätzte ZeitEin grober Zeitrahmen, um zu recherchieren, zu implementieren, zu testen und einen Pull Request vorzubereiten.
1-3 Stunden
AktivitätsstatusWie verfügbar das Issue gerade wirkt: frisch, aktiv, stale, blockiert oder wartet auf Maintainer-Input.
Aktiv
KlarheitWie klar das Issue die erwartete Änderung, Akzeptanzkriterien und den nächsten Schritt erklärt.
Meist klar
Voraussetzungen
Rust
EinsteigerfreundlichkeitEin Score von 1 bis 100, der schätzt, wie zugänglich dieses Issue für First-Time Contributors ist.
70