Hacktoberfest 2026: le issue che i maintainer hanno segnato per ottobre, aperte e adatte ai principianti. Sfoglia le issue Hacktoberfest

Improve the performance of `kompile`

Aperta
  • Qualcosa non va?
#4,668 2 commenti 0 reazioni 0 assegnatari Vedi su GitHub

Nessuno ha ancora preso questa issue.

Valutazione

Difficoltà
5/5
Tempo stimato
Più di una settimana
Idoneità per principianti
25/100
Tipo di issue
Funzionalità
Chiarezza
Da chiarire
Stato di attività
Ferma
Stack tecnologico
python
Ambito
compilers, performance

Direzione di ricerca

Start at the kompile entry point and establish a baseline for compilation time and memory behavior. The issue does not name files or tests, so first identify where kompile is implemented and how compilation is scheduled; done would require a demonstrated performance improvement or supported concurrent compilation path.

Scritto dal modello di indicizzazione a partire dal testo della issue.

Descrizione

enhancement incremental-compilation kompile

kompile is quite slow, and it doesn’t seem to speed up even increased memory using -Xmx. And I found no way for concurrent kompilation. This has made debugging a bug very time-consuming.

Lingua principale
Python
Stelle
591
Fork
163
Nessuna PR unita negli ultimi 30g

Preparare l'ambiente

Come iniziare

  1. Leggi tutta la issue e poi la guida ai contributi del progetto.
  2. Commenta sulla issue per dire che te ne occupi tu — evita che due persone facciano lo stesso lavoro.
  3. Fai un fork del repository e lavora su un branch.
  4. Apri una pull request che faccia riferimento al numero della issue.

Altre issue di runtimeverification/k

Tutte le issue di runtimeverification/k

Issue simili

Altre issue su Python

Ricevi le nuove issue nella tua casella

Un breve riepilogo di issue GitHub adatte ai principianti.