VolumeTracker to track set of all possible volumes
Nessuno ha ancora preso questa issue.
Valutazione
- Difficoltà
- 5/5
- Tempo stimato
- Più di una settimana
- Idoneità per principianti
- 25/100
Direzione di ricerca
Inizia individuando VolumeTracker e leggendo come attualmente registra il volume del limite inferiore per ogni istruzione. Segui come sono rappresentati i percorsi di esecuzione e determina come il tracker dovrebbe raccogliere tutti i volumi possibili lungo questi percorsi. Il lavoro è completato quando il tracker segnala l’insieme completo invece del solo limite inferiore conservativo.
Scritto dal modello di indicizzazione a partire dal testo della issue.
Descrizione
As is, the volume tracker only tracks a conservative estimate of a variable's volume (as the lower-bound) at each instruction.
This feature would enhance the volume tracker to collect the set of all possible volumes of a variable over all execution paths.
- Lingua principale
- Python
- Stelle
- 53
- Fork
- 16
- Metriche di merge delle PR
- Nessuna PR unita negli ultimi 30g
Guida per i contributori
Nessuna guida per i contributori indicizzata per questo repository
Come iniziare
- Leggi tutta la issue e poi la guida ai contributi del progetto.
- Commenta sulla issue per dire che te ne occupi tu — evita che due persone facciano lo stesso lavoro.
- Fai un fork del repository e lavora su un branch.
- Apri una pull request che faccia riferimento al numero della issue.
Altre issue di lilott8/BioScript
-
update readme Aperta
Difficoltà 1/5 Meno di un'ora Idoneità per principianti 62/100
-
Functions are broken Aperta
Difficoltà 4/5 3-5 giorni Idoneità per principianti 25/100
-
bug
Difficoltà 3/5 1-2 giorni Idoneità per principianti 35/100
-
bug good first issue
Difficoltà 3/5 1-2 giorni Idoneità per principianti 48/100
-
Finish and verify z3 tests Aperta
Difficoltà 5/5 Più di una settimana Idoneità per principianti 25/100
Tutte le issue di lilott8/BioScript
Issue simili
-
area: harness bug status: needs-triage
Difficoltà 2/5 1-3 ore Idoneità per principianti 75/100
Human-Agent-Society/reef#625 ·
-
Difficoltà 2/5 1-3 ore Idoneità per principianti 70/100
-
Difficoltà 1/5 Meno di un'ora Idoneità per principianti 80/100
learningequality/kolibri#15351 · 2 commenti ·
-
Difficoltà 2/5 1-3 ore Idoneità per principianti 75/100
-
Name consistency Aperta
Difficoltà 2/5 1-3 ore Idoneità per principianti 75/100
eellak/triplestore#65 · 1 commento ·