admin/revng-revng
1
0
Fork 0
mirror of https://github.com/revng/revng synced 2026-06-21 14:07:57 +00:00
Code Issues Packages Projects Releases Wiki Activity
7,705 Commits 215 Branches 0 Tags
develop
Commit Graph

53 Commits

Author SHA1 Message Date
Ivan Krysak b33eb7cf70 Model: reduce pointer usage in verify 2024-06-27 11:05:50 +02:00
Ivan Krysak e8288d1e70 Model: reorganize verifier order 
This helps keeping track of them and making sure none of them is lost.

The order is bottom-to-top, so ends with `model::Binary::verify` and
contains verification of all of its dependencies in the order they
appear in their user's `verify`s, kind of like a flattened tree.
 2024-06-27 11:05:49 +02:00
Ivan Krysak 277cba213c Model: separate verification 2024-06-27 11:05:49 +02:00