hexcore-souper
Стан проєкту: НевідомоLLVM IR superoptimizer for HexCore — Z3 SMT-based synthesis engine for the Remill → Souper → Helix decompilation pipeline.
- Досліджуване ПЗ або обладнання
- Тип роботи
- Основний публічний репозиторій
- github.com/akashacorporation/hexcore-souper
Проєкти впорядковано за останньою зафіксованою кількістю зірок репозиторію. Зірки показують зацікавленість, а не поступ роботи. Відсутні значення залишаються невідомими.
Метадані репозиторію потребують оновлення. Збережений запис залишається доступним.
Про проєкт і його завдання
LLVM IR superoptimizer for HexCore — Z3 SMT-based synthesis engine for the Remill → Souper → Helix decompilation pipeline.
Можливість долучитися
Правила участі невідомі
- Правила використання ШІ
- Не зазначено
Системи учасників за документацією
Середовище учасника не описано
Заявлений прогрес
Прогрес не опубліковано
Вихідний код, збирання та релізи
- Відкрити репозиторій · github.comgithub.com/akashacorporation/hexcore-souper