riscv-decomp

Стан проєкту: Невідомо

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

Досліджуване ПЗ або обладнання: RISC-V
Тип роботи: Відновлення вихідного коду
Основний публічний репозиторій: github.com/dhsorens/riscv-decomp

Проєкти впорядковано за останньою зафіксованою кількістю зірок репозиторію. Зірки показують зацікавленість, а не поступ роботи. Відсутні значення залишаються невідомими.

Про проєкт і його завдання

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

Можливість долучитися

Правила участі невідомі

Правила використання ШІ: Не зазначено

Системи учасників за документацією

Середовище учасника не описано

Заявлений прогрес

Прогрес не опубліковано

Вихідний код, збирання та релізи

Відкрити репозиторій · github.comgithub.com/dhsorens/riscv-decomp