Cooperation with PubGrub-rs.
I maintainer di solito rispondono entro 10 giorni
Nessuno ha ancora preso questa issue.
Valutazione
- Difficoltà
- 5/5
- Tempo stimato
- Più di una settimana
- Idoneità per principianti
- 8/100
- Tipo di issue
- Funzionalità
- Chiarezza
- Da chiarire
- Stato di attività
- Ferma
- Stack tecnologico
- rust
- Ambito
- devtools, performance, testing-qa
Direzione di ricerca
The payload names no files or tests, only the resolvo project and a proposed shared benchmark suite with PubGrub. It is a collaboration proposal, not a scoped change. Before any code, a maintainer must decide whether to adopt shared benchmarks and differential fuzzing. Done would mean an agreed plan, not a patch.
Scritto dal modello di indicizzazione a partire dal testo della issue.
Descrizione
Hello again! I am a maintainer of pubgrub-rs, which is a different dependency resolution algorithm written in Rust. It would be lovely if our projects found ways to support each other!
I have worked hard on the performance of pubgrub. I would love to work on the performance of resolvo. Do you have benchmarks? It would be really cool to have a shared set of benchmarks. For each benchmark case, whichever algorithm is slower I know that it can be solved faster so time to get to work.
As part of our benchmarking work we have collected some real world resolution problems. It would be cool to do differential testing, checking that our algorithms agree on whether there is a valid resolution. If you have a different set of real-world examples, I would love to add them to our benchmark collection!
Such a differential testing suite could also be used with fuzzed input. We have worked hard to develop a proptest random input generator, that currently compares to a SAT solver. Comparing two different implementations with each other is a great case for differential fuzzing.
I know there are design constraints that work better for one algorithm or the other. I would love to add explanations to pubgrub's documentation about when you're algorithm is a better choice. (And work to improve the kinds of problems pubgrub can solve.)
- Lingua principale
- Rust
- Stelle
- 224
- Fork
- 31
- Merge medio
- 7g 17h
- PR unite (30g)
- 6
Preparare l'ambiente
- Nessun Dockerfile né file Docker Compose
- Nessun modello di pull request
- Leggi la guida per i contributori
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 prefix-dev/resolvo
-
Difficoltà 5/5 Più di una settimana Idoneità per principianti 15/100
prefix-dev/resolvo#202 ·
I maintainer di solito rispondono entro 10 giorni
-
BUG: resolver ignores `pytorch 2.7.1 cuda129...` as valid option for `pytorch * cuda*` constraintAperta
Difficoltà 5/5 Più di una settimana Idoneità per principianti 12/100
prefix-dev/resolvo#199 · 7 commenti ·
I maintainer di solito rispondono entro 10 giorni
-
Difficoltà 5/5 Più di una settimana Idoneità per principianti 12/100
prefix-dev/resolvo#185 · 1 commento ·
I maintainer di solito rispondono entro 10 giorni
-
Difficoltà 4/5 3-5 giorni Idoneità per principianti 15/100
prefix-dev/resolvo#252 · 3 commenti ·
I maintainer di solito rispondono entro 10 giorni
-
good first issue
Difficoltà 3/5 Mezza giornata Idoneità per principianti 50/100
prefix-dev/resolvo#140 · 2 commenti ·
I maintainer di solito rispondono entro 10 giorni
Tutte le issue di prefix-dev/resolvo
Issue simili
-
Expose the dot grid colourAperta
Difficoltà 2/5 1-3 ore Idoneità per principianti 70/100
nannou-org/egui_graph#92 ·
I maintainer di solito rispondono entro 1 giorno
-
documentation good first issue
Difficoltà 2/5 Mezza giornata Idoneità per principianti 72/100
sujithputta02/Esapay#13 ·
-
Difficoltà 2/5 1-3 ore Idoneità per principianti 75/100
tursodatabase/turso#10002 ·
I maintainer di solito rispondono entro 1 giorno
-
needs triage
Difficoltà 2/5 1-3 ore Idoneità per principianti 72/100
topgrade-rs/topgrade#2419 ·
I maintainer di solito rispondono entro 1 giorno
-
review-bot
Difficoltà 2/5 1-3 ore Idoneità per principianti 72/100
midagedev/bloomery#318 · 1 commento ·
I maintainer di solito rispondono entro 1 giorno