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,758 Commits 215 Branches 0 Tags
master
Commit Graph

2 Commits

Author SHA1 Message Date
Giacomo Vercesi 437d86d8cb Pipeline: improve schedule 
Improve the `schedule` in the `Pipeline` class by introducing two
optimizations:
* Prune all the `ContainerDeclarations` that are not actually used.
* Skip all tasks that have no outgoing elements that would have been
  written by them.
 2025-11-17 10:04:13 +01:00
Tommaso Fontana 80eb02c207 Pypeline: merge pypeline 2025-09-10 12:05:15 +02:00