riscv-decomp

Status do projeto: Desconhecido

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

Software ou hardware estudado: RISC-V
Tipo de trabalho: Reconstrução do código-fonte
Repositório público principal: github.com/dhsorens/riscv-decomp

Os projetos são ordenados pela última contagem de estrelas registrada. Estrelas indicam interesse, não progresso. Contagens indisponíveis permanecem desconhecidas.

Descrição e escopo

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

Aceitação de contribuições

Política de contribuição desconhecida

Política de contribuições com auxílio de IA: Não informada

Sistemas documentados para contribuir

Ambiente de contribuição não documentado

Progresso informado

Progresso não informado

Código-fonte, compilações e versões

Abrir repositório · github.comgithub.com/dhsorens/riscv-decomp