8 Commits

Author	SHA1	Message	Date
Alessandro Di Federico	b2f22c168f	Adopt clang-format 16	2023-04-08 08:42:23 +02:00
Massimo Fioravanti	d55aa9b9e6	Pipeline: remove * from targets ... Now * is just a pipeline frontend shorthand.	2022-10-20 14:20:12 +02:00
Massimo Fioravanti	9363bbd70a	Pipeline: every container type has now a C++ type	2022-09-29 15:51:17 +02:00
Massimo Fioravanti	9a4e97d8ea	Pipeline: handle having 0 functions	2022-08-31 18:07:47 +02:00
Pietro Fezzardi	0f4df96ad6	Mark some dump() methods as debug_function	2022-05-11 14:39:31 +02:00
Giacomo Vercesi	a831fa8e74	ContainerSet: add isContainerRegistered ... This function allows to check if a container is registered, irrespective of its initialization status	2022-04-26 15:05:30 +02:00
Massimo Fioravanti	60fd53b1fb	Introduce Kind::verify	2022-04-15 15:17:37 +02:00
Massimo Fioravanti	70ec456078	Introduce revng-pipeline	2022-01-17 18:17:54 +01:00