10 Commits

Author	SHA1	Message	Date
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
Ivan Krysak	7d235f4fd0	Enforce licence header consistency ... Also do some basic cleanup: capitalize first letters, add `.` at the end of the sentences, and so on.	2023-07-03 15:23:10 +00:00
Alessandro Di Federico	4eeb942afb	LLVMContainer: outline methods to .cpp	2023-04-28 14:34:49 +02:00
Alessandro Di Federico	170749b0aa	Introduce revng::verify	2023-04-28 14:04:31 +02:00
Alessandro Di Federico	171ba353e5	Adopt llvm/{Support,MC}/TargetRegistry.h	2023-04-08 08:42:24 +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	9ce7b1e527	Drop Pipe suffix from pipe names	2022-08-29 14:45:45 +02:00
Massimo Fioravanti	633f49c1ef	Introduce dedicated namespace for kinds and ranks	2022-08-29 14:44:53 +02:00
Massimo Fioravanti	915c083661	Pipes: reorganize who defines pipes	2022-08-29 14:44:35 +02:00