11 Commits

Author	SHA1	Message	Date
Alessandro Di Federico	fbf79b5d1b	Make Pipe::checkPrecondition optional	2024-09-27 12:07:18 +02:00
Alessandro Di Federico	c8d4381297	s/Context &Ctx/Context &Context/g	2024-09-27 12:07:17 +02:00
Alessandro Di Federico	553d869d03	Drop Pipe::print method	2024-06-20 10:24:51 +02:00
Alessandro Di Federico	bce1d6c0f3	Adopt invalidation along the core pipeline	2024-06-20 10:24:50 +02:00
Alessandro Di Federico	c061f1f971	Make Pipe::checkPrecondition mandatory	2024-05-22 10:25:25 +02:00
Alessandro Di Federico	d9367954a4	Convert all public strings to kebab-case	2024-02-09 10:04:24 +01:00
Giacomo Vercesi	5f8143207d	Generalize FunctionStringMap ... Generalize `FunctionStringMap` into `detail::GenericStringMap`, which supports any `Depth=1` rank. `FunctionStringMap` remains as an `using` with `Rank = ranks::Function`.	2024-01-26 19:13:58 +01:00
Massimo Fioravanti	c276a439b5	Add pipeline invalidation ... Replace the stub implementation of invalidation with the proper implementation. A ReadPathCache is added to each global so that it can keep tracks of what target are associated to which read paths.	2024-01-02 11:14:56 +01: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
Ivan Krysak	6724b6d9cd	revng/Yield/Pipes: streamline file naming	2022-09-26 12:10:47 +02:00