hexcore-souper
Stato del progetto: SconosciutoLLVM IR superoptimizer for HexCore — Z3 SMT-based synthesis engine for the Remill → Souper → Helix decompilation pipeline.
- Software o hardware oggetto del progetto
- Tipo di lavoro
- Repository pubblico principale
- github.com/akashacorporation/hexcore-souper
I progetti sono ordinati per l’ultimo numero di stelle rilevato nel repository. Le stelle indicano interesse, non avanzamento. I valori mancanti restano sconosciuti.
I metadati del repository devono essere aggiornati. La scheda memorizzata resta disponibile.
Descrizione e ambito
LLVM IR superoptimizer for HexCore — Z3 SMT-based synthesis engine for the Remill → Souper → Helix decompilation pipeline.
Disponibilità ad accettare contributi
Regole sui contributi sconosciute
- Regole sui contributi assistiti dall'IA
- Non specificato
Sistemi documentati per contribuire
Ambiente di contribuzione non documentato
Avanzamento dichiarato
Avanzamento non dichiarato
Fonti, compilazione e release
- Apri il repository · github.comgithub.com/akashacorporation/hexcore-souper