mirror of
https://github.com/revng/revng
synced 2026-06-21 14:07:57 +00:00
27c065a54b
Make `makeDiff` run faster by: * Utilizing the information exposed by TYPE_HINTS which avoids having expensive runtime checks * Optimize some of the hot parts of the codebase to lower run times