riscv-decomp

Stan projektu: Nieznany

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

Badane oprogramowanie lub sprzęt: RISC-V
Rodzaj prac: Odtwarzanie kodu źródłowego
Główne publiczne repozytorium: github.com/dhsorens/riscv-decomp

Projekty są sortowane według ostatniej zapisanej liczby gwiazdek repozytorium. Gwiazdki oznaczają zainteresowanie, a nie postęp prac. Brakujące wartości pozostają nieznane.

Opis i zakres prac

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

Możliwość współpracy

Zasady współpracy nieznane

Zasady korzystania z AI: Nie określono

Systemy współtwórców według dokumentacji

Brak dokumentacji środowiska współtwórcy

Podany postęp

Nie podano postępu

Kod źródłowy, budowanie i wydania

Otwórz repozytorium · github.comgithub.com/dhsorens/riscv-decomp