7 Commits

Author	SHA1	Message	Date
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	049ba69d43	Pipeline: containers can now enumerate their kinds	2022-09-29 15:55:30 +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