riscv-decomp

Stato del progetto: Sconosciuto

Myreen-style decompilation into logic for RISC-V, in Lean 4, over an abstract stepper

Software o hardware oggetto del progetto: RISC-V
Tipo di lavoro: Ricostruzione del codice sorgente
Repository pubblico principale: github.com/dhsorens/riscv-decomp

I progetti sono ordinati per l’ultimo numero di stelle rilevato nel repository. Le stelle indicano interesse, non avanzamento. I valori mancanti restano sconosciuti.

Descrizione e ambito

Myreen-style decompilation into logic for RISC-V, in Lean 4, over an abstract stepper

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/dhsorens/riscv-decomp