riscv-decomp

Estado del proyecto: Desconocido

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

Software o hardware objeto del proyecto: RISC-V
Tipo de trabajo: Reconstrucción del código fuente
Repositorio público principal: github.com/dhsorens/riscv-decomp

Los proyectos se ordenan por el último número de estrellas registrado. Las estrellas indican interés, no progreso. Los recuentos no disponibles se muestran como desconocidos.

Descripción y alcance

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

Admisión de colaboraciones

Política de colaboración desconocida

Política de contribuciones asistidas por IA: Sin especificar

Sistemas documentados para colaborar

Entorno de colaboración sin documentar

Progreso comunicado

No se ha comunicado el progreso

Código fuente, compilaciones y versiones

Abrir repositorio · github.comgithub.com/dhsorens/riscv-decomp