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
2,136 Commits 215 Branches 0 Tags
feature/fix-tools-empty-input
Commit Graph

8 Commits

Author SHA1 Message Date
Giacomo Vercesi d7265ff160 PipelineC: allow signal masking 
Some users of PipelineC might be interested in preserving
pre-existing signals, this commits adds this functionality.
 2022-10-04 14:13:56 +02:00
Davide Depau 363fa21fe0 Introduce PipelineC API shutdown method 2022-07-22 21:04:03 +02:00
Massimo Fioravanti 22bce466b1 revng-pipeline: support handles multiple branches 
This commit introduces the possibility to have multiple pipeline
branches in a single YAML pipeline file.
 2022-06-13 18:34:03 +02:00
Alessandro Di Federico f6c9b04c81 Adopt clang-tidy: readability-identifier-naming 2022-04-04 21:15:52 +02:00
Massimo Fioravanti c05b5dbb28 Steps now represent the *end* of a step 
A special "begin" step has been introduced.
 2022-03-28 12:17:05 +02:00
Massimo Fioravanti 58768aca42 YAML pipelines: rename pipe "Name" to pass "Type" 2022-03-28 12:17:05 +02:00
Alessandro Di Federico 9788c49529 Fix pipeline test suite names 2022-02-08 17:44:26 +01:00
Massimo Fioravanti fe9686be03 revng-pipeline: introduce C API 2022-02-08 00:05:03 +01:00