7 Commits

Author	SHA1	Message	Date
Giacomo Vercesi	a13c3e5ac2	revng: fix executable/shebang in scripts ... Some files had discordant executable bit presence and shebang presence. This commit fixes these occurrences by adding removing the required feautures where needed.	2023-05-11 10:02:46 +02:00
Giacomo Vercesi	31a836e48c	revng-check-conventions: introduce flake8	2022-04-20 09:56:44 +02:00
Giacomo Vercesi	d81dc49809	revng-check-conventions: license check	2022-04-20 09:55:18 +02:00
Filippo Cremonese	d5e5e16887	Apply and enforce python formatting with black	2022-02-23 18:02:39 +01:00
Alessandro Di Federico	6ae0610e2d	Force Python versions ... This commit switches all scripts to Python 3, except for `revng-merge-dynamic` which requires Python 2 due to a limitation of pyelftools.	2019-02-12 18:40:24 +01:00
Alessandro Di Federico	53db84f7d6	s/revamb/revng/g	2019-02-11 16:09:23 +01:00
Alessandro Di Federico	5154cb57f2	Initial import of documentation	2017-01-11 16:02:19 +01:00