hexcore-souper
Project status: UnknownLLVM IR superoptimizer for HexCore — Z3 SMT-based synthesis engine for the Remill → Souper → Helix decompilation pipeline.
- Target software or hardware
- Work type
- Primary public repository
- github.com/akashacorporation/hexcore-souper
Projects are sorted by the latest recorded repository star count. Stars indicate interest, not completion. Missing counts remain unknown.
About and scope
LLVM IR superoptimizer for HexCore — Z3 SMT-based synthesis engine for the Remill → Souper → Helix decompilation pipeline.
Contribution availability
Contribution policy unknown
- AI-assisted contribution policy
- Unspecified
Documented contributor systems
Contributor setup not documented
Reported progress
Progress not reported
Sources, builds and releases
- Open repository · github.comgithub.com/akashacorporation/hexcore-souper