riscv-decomp

État du projet: Inconnu

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

Logiciel ou matériel étudié: RISC-V
Type de travail: Reconstruction du code source
Dépôt public principal: github.com/dhsorens/riscv-decomp

Les projets sont classés selon le dernier nombre d’étoiles relevé sur leur dépôt. Les étoiles reflètent l’intérêt, pas l’avancement. Les valeurs manquantes restent inconnues.

Présentation et périmètre

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

Accueil des contributions

Règles de contribution inconnues

Règles sur les contributions assistées par IA: Non précisé

Systèmes documentés pour contribuer

Configuration pour contribuer non documentée

Avancement communiqué

Avancement non communiqué

Code source, compilations et versions

Ouvrir le dépôt · github.comgithub.com/dhsorens/riscv-decomp