5 Commits

Author	SHA1	Message	Date
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	0793e4afcb	Turn lifting into a pass	2022-03-11 15:37:12 +01:00
Alessandro Di Federico	0f084ed620	Minor changes	2022-02-07 16:55:46 +01:00
Alessandro Di Federico	cfb47157b9	clang-tidy: readability-identifier-naming ... This commit fixes all the non-compliance with our preliminary clang-tidy configuration, which will be merged soon.	2022-01-07 09:18:05 +01:00
Massimo Fioravanti	9e477d0ada	Make a library out of revng-lift	2021-12-22 13:47:21 +01:00