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 |
|