cryspen/hax

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

Ouverte

#124 ouverte le 6 juin 2023

Voir sur GitHubGuide contributeur
 (2 commentaires) (0 réaction) (0 personne assignée)OCaml (61 forks)auto 404
backendenginegood first issuekeep-openunsupported-rust

Métriques du dépôt

Stars
 (456 étoiles)
Métriques de merge PR
 (Merge moyen 4j 22h) (42 PRs mergées en 30 j)

Description

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.

Guide contributeur

Direction de recherche
Examinez comment l'outil gère actuellement les constructions de boucle. Regardez l'analyseur pour voir où les boucles simples sont rejetées, puis vérifiez le chemin de génération de code pour comprendre quelles modifications sont nécessaires pour les accepter et produire du code pour elles.
Stack technique
rust
Domaine
backend
Type d'issue
Fonctionnalité
DifficultéDifficulté estimée pour un nouveau contributeur, de 1 pour un très petit changement à 5 pour un travail expert.
3
Temps estiméFourchette de temps approximative pour investiguer, implémenter, tester et préparer une pull request.
1-3 heures
Statut d'activitéDisponibilité apparente de l'issue : fraîche, active, ancienne, bloquée ou en attente d'un mainteneur.
Active
ClartéClarté avec laquelle l'issue explique le changement attendu, les critères d'acceptation et la prochaine étape.
Plutôt claire
Prérequis
Rust
Accessibilité débutantScore de 1 à 100 estimant l'accessibilité de cette issue pour un premier contributeur.
70