7 Commits

Author	SHA1	Message	Date
Alessandro Di Federico	5820908675	Remove and ban \file	2025-12-16 17:41:55 +01:00
Alessandro Di Federico	c8d4381297	s/Context &Ctx/Context &Context/g	2024-09-27 12:07:17 +02: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	bc98e0079f	Formatting: change PenaltyReturnTypeOnItsOwnLine ... The new value is 21.	2023-07-02 13:20:49 +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	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