Alessandro Di Federico
|
72a0194870
|
tmp
|
2022-11-16 11:24:50 +01:00 |
|
Massimo Fioravanti
|
d55aa9b9e6
|
Pipeline: remove * from targets
Now * is just a pipeline frontend shorthand.
|
2022-10-20 14:20:12 +02:00 |
|
Giacomo Vercesi
|
025f6d5580
|
Assembly & CFG: fix MIME type
Change the MIME type of the assembly artifact and the svg graphs to the
new naming convention.
|
2022-10-11 17:11:04 +02:00 |
|
Massimo Fioravanti
|
445bc2aa8c
|
Pipeline: introduce registry for container types
|
2022-09-29 15:52:26 +02:00 |
|
Massimo Fioravanti
|
9363bbd70a
|
Pipeline: every container type has now a C++ type
|
2022-09-29 15:51:17 +02:00 |
|
Ivan Krysak
|
6724b6d9cd
|
revng/Yield/Pipes: streamline file naming
|
2022-09-26 12:10:47 +02:00 |
|