14 Commits

Author	SHA1	Message	Date
Giacomo Vercesi	fdd07f640a	revng cli: drop old code ... Remove code for the `revng` command line entrypoint that was needed before python became an orchestra component.	2023-05-11 10:02:46 +02:00
Ivan Krysak	0b1aaeaede	Minor improvements	2023-03-15 10:19:01 +01:00
Alessandro Di Federico	4929f201d1	script/revng: fix detection of packages directory	2023-01-21 16:46:35 +01:00
Giacomo Vercesi	bf4122ed0a	Introduce v2 of revng-check-conventions	2022-09-29 15:21:59 +02:00
Alessandro Di Federico	f4684e244d	Switch to new testsuite	2022-06-20 19:04:18 +02:00
Giacomo Vercesi	bbce0b33e5	revng-check-conventions: introduce isort	2022-04-20 09:57:08 +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
Alessandro Di Federico	586feabd3d	Drop scripts/revng-model-dump	2022-03-17 16:46:02 +01:00
Alessandro Di Federico	0e387938be	Move scripts/revng to revng/cli/revng.py	2022-03-16 22:10:15 +01:00
Alessandro Di Federico	997e7f60cb	scripts/renvg: handle revng pipeline ... Let `scripts/revng` intercept `revng-pipeline` invocations and add, not only -load, but `-P` (pipelines) too.	2022-03-16 22:10:15 +01:00
Alessandro Di Federico	7d48059800	Turn revng-lift into a script	2022-03-11 15:37:12 +01:00
Filippo Cremonese	23c40e3b51	revng: fix imports ... Add missing log_error include and remove other unused imports.	2022-02-23 18:02:50 +01:00
Filippo Cremonese	6672eb8dbc	Turn Python scripts into modules	2022-02-23 18:02:42 +01:00