cryspen/hax

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

Aperta

#124 aperta il 6 giu 2023

Vedi su GitHubGuida contributor
 (2 commenti) (0 reazioni) (0 assegnatari)OCaml (61 fork)auto 404
backendenginegood first issuekeep-openunsupported-rust

Metriche repository

Star
 (456 stelle)
Metriche merge PR
 (Metriche PR in attesa)

Descrizione

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.

Guida contributor

Direzione di ricerca
Esamina come lo strumento gestisce attualmente i costrutti loop. Guarda il parser per vedere dove i loop semplici vengono rifiutati e poi controlla il percorso di generazione del codice per capire quali modifiche sono necessarie per accettarli e produrre codice per essi.
Tech stack
rust
Dominio
backend
Tipo issue
Funzionalità
DifficoltàQuanto dovrebbe essere impegnativa per un nuovo contributor.
3
Tempo stimatoTempo stimato per completare e verificare uno scope piccolo.
1-3 ore
Stato attivitàQuanto è probabile che la issue sia ancora attiva e reviewable.
Attiva
ChiarezzaQuanto chiaramente la issue descrive problema, scope e risultato atteso.
Abbastanza chiara
Prerequisiti
Rust
Adatta ai principiantiQuanto la issue è adatta a contributor alla prima esperienza.
70