14 Commits

Author	SHA1	Message	Date
Alessandro Di Federico	c8d4381297	s/Context &Ctx/Context &Context/g	2024-09-27 12:07:17 +02:00
Alessandro Di Federico	d9367954a4	Convert all public strings to kebab-case	2024-02-09 10:04:24 +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
Ivan Krysak	9f1d9fd5d0	Use Container::contains() where appropriate	2023-07-02 15:06:11 +00:00
Giacomo Vercesi	7526d72492	Kinds: exposed locations produced ... Expose the locations that can be found in each kind	2022-11-11 13:43:55 +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	049ba69d43	Pipeline: containers can now enumerate their kinds	2022-09-29 15:55:30 +02:00
Massimo Fioravanti	dc23473d85	Introduce Loader::getRegistered{Pipes,Analyses}	2022-09-29 15:55:16 +02:00
Massimo Fioravanti	445bc2aa8c	Pipeline: introduce registry for container types	2022-09-29 15:52:26 +02:00
Massimo Fioravanti	633f49c1ef	Introduce dedicated namespace for kinds and ranks	2022-08-29 14:44:53 +02:00
Massimo Fioravanti	96bd5835d8	revng-pipeline: rework file-to-container syntax	2022-08-10 09:49:24 +02:00
Ivan Krysak	8305e020b0	Move ranks into their own namespace	2022-08-05 17:27:56 +03:00
Massimo Fioravanti	da30cf9e99	Pipeline: add read-only containers	2022-07-25 16:24:27 +02:00
Alessandro Di Federico	f4684e244d	Switch to new testsuite	2022-06-20 19:04:18 +02:00