eqminer: chop C code into trunks, make them compilable, and run them to find likely functionally equivalent code trunks.
Primary LanguageOCaml
This repository is not active