Massimo Fioravanti
|
d55aa9b9e6
|
Pipeline: remove * from targets
Now * is just a pipeline frontend shorthand.
|
2022-10-20 14:20:12 +02:00 |
|
Massimo Fioravanti
|
9a4e97d8ea
|
Pipeline: handle having 0 functions
|
2022-08-31 18:07:47 +02:00 |
|
Massimo Fioravanti
|
0bb115a4f3
|
revng-pipeline: rework syntax for targets
Was: step:container:p/a/t/h:kind
Now: step/container/p/a/t/h:kind
|
2022-08-10 09:49:24 +02:00 |
|
Massimo Fioravanti
|
85a9c9637f
|
revng-pipeline: rework logging
|
2022-08-10 09:49:24 +02:00 |
|
Giacomo Vercesi
|
6d159f2ef2
|
Kind::serialize: emit :kind if no components
This commit fixes an issue where if a target had no components the
serialized name would have been an empty string instead of ":kind".
|
2022-06-29 14:50:58 +02:00 |
|
Massimo Fioravanti
|
60fd53b1fb
|
Introduce Kind::verify
|
2022-04-15 15:17:37 +02:00 |
|
Massimo Fioravanti
|
b362d926ec
|
pipeline: drop implicit rank 0
|
2022-03-28 12:17:05 +02:00 |
|
Giacomo Vercesi
|
238450d9be
|
pipeline: improve handling of 0-sized target lists
|
2022-03-28 12:17:05 +02:00 |
|
Massimo Fioravanti
|
70ec456078
|
Introduce revng-pipeline
|
2022-01-17 18:17:54 +01:00 |
|