riscv-decomp

Projektstatus: Unbekannt

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

Untersuchte Software oder Hardware: RISC-V
Arbeitsansatz: Quellcode-Rekonstruktion
Öffentliches Hauptrepository: github.com/dhsorens/riscv-decomp

Projekte werden nach der zuletzt erfassten Anzahl an Repository-Sternen sortiert. Sterne zeigen Interesse, keinen Fortschritt. Fehlende Werte bleiben unbekannt.

Über das Projekt und seinen Umfang

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

Möglichkeiten zur Mitarbeit

Regeln zur Mitarbeit unbekannt

Regeln für KI-unterstützte Beiträge: Nicht angegeben

Dokumentierte Systeme für Mitwirkende

Arbeitsumgebung nicht dokumentiert

Gemeldeter Fortschritt

Kein Fortschritt gemeldet

Quellen, Builds und Veröffentlichungen

Repository öffnen · github.comgithub.com/dhsorens/riscv-decomp