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

3 Commits

Author SHA1 Message Date
Giacomo Vercesi 4e0f4a6540 pypeline: stabilize pipeline description 
Before this commit the pipeline description suffered from some
non-determinism that led to some values changing between runs of
`revng`. Add extra sorting so to eliminate the non-determinism.
 2026-05-22 09:04:35 +02:00
Giacomo Vercesi 18e3501731 pypeline: implement proper config parsing 
Overhaul the pipeline configuration logic by collapsing all dynamic
configuration options, both for analyses and pipes into a single
dictionary. Change all the interfaces so that there is no longer
distinction between the configuration of an analysis and of pipes.
Expose these options to the command line via `--{name}-configuration`
options for each pipe/analysis that is applicable to the command-line
invocation.
 2026-04-10 11:45:12 +02:00
Giacomo Vercesi 14d95a924d pypeline: rework fields in pipeline metadata 
Rework which information is transmitted in the pipeline metadata,
avoiding redundancy and moving some information there instead of
returning it every time a request is made.
 2026-03-31 17:00:48 +02:00