mirror of
https://github.com/revng/revng
synced 2026-06-21 14:07:57 +00:00
Alvise de Faveri
52ae6595ad
Add an engine for running VMA in different modes. User can: - Decide how to initialize the colors (e.g. from the Model or from the LLVM IR) - Decide what to do with the final TFG obtained by VMA - Decide whether or not the Mincut algorithm should run