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
6,119 Commits 215 Branches 0 Tags
feature/remove-s3-cpp
Commit Graph

3 Commits

Author SHA1 Message Date
Andrea Gussoni e093a1c7ed SelectScope: extract reusable helpers 
Extract reusable helpers in `ScopeGraphAlgorithms.h`, so they can be
reused.
 2025-04-30 16:10:54 +02:00
Andrea Gussoni 71988af041 Fix MIT license 2025-04-30 16:10:54 +02:00
Andrea Gussoni 47fac0d948 SelectScope: introduce pass 
Introduce the `select-scope` pass. This pass is in charge of enforcing
the relative decidedness property for all the nodes in the `ScopeGraph`,
wrt. to all the conditional nodes. It does this by applying the
relative decidedness definition, electing one scope for each conditional
node in the graph, and by transforming all the edges that would violate
the property into goto edges.
 2025-04-02 16:47:14 +02:00