3 ms·
Do you have a site or paper about your SMT-based superoptimizer? Or maybe even a Github.
by nextaccountic 6y ago
Do you have a site or paper about your SMT-based superoptimizer? Or maybe even a Github.
- glangdale 6y agoNot yet. I have a (currently neglected) blog at branchfree.org, but haven't yet posted about my superoptimizer. Certainly no paper yet. I may well be churlish enough not to make my superoptimizer open source, as I'm still daydreaming about doing mildly commercial things with it.