mirror of
https://github.com/revng/revng
synced 2026-06-21 14:07:57 +00:00
8cff10e13b
Add 4 analyses to the pipebox that allow setting and verifying the model and its diffs.