CakeML/cakeml

Remove Q.prove in ml_monad_translator_interfaceLib

Offen

#1.153 geöffnet am 04.04.2025

Auf GitHub ansehen
 (2 Kommentare) (0 Reaktionen) (0 zugewiesene Personen)Standard ML (98 Forks)auto 404
good first issuerefactoring

Repository-Metriken

Stars
 (1.169 Sterne)
PR-Merge-Metriken
 (PR-Metriken ausstehend)

Beschreibung

As in title. Right now loading that Library is extremely slow.

Contributor Guide

Research-Richtung
Durchsuchen Sie alle Verwendungen von Q.prove in ml monad translator interfaceLib und ersetzen Sie sie durch schnellere Beweismethoden, um die Ladegeschwindigkeit der Bibliothek zu verbessern.
Tech Stack
Keine
Domain
compilers
Issue Type
Refactoring
SchwierigkeitGeschätzte Implementierungsschwierigkeit für neue Contributors, von 1 für sehr kleine Änderungen bis 5 für Expertenarbeit.
2
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.
Klar
Voraussetzungen
Git
EinsteigerfreundlichkeitEin Score von 1 bis 100, der schätzt, wie zugänglich dieses Issue für First-Time Contributors ist.
70