8 Commits

Author	SHA1	Message	Date
Alessandro Di Federico	0385e4c652	Introduce revng::Configuration	2026-04-23 13:40:43 +02:00
Giacomo Vercesi	bfed42ed1e	Add revng.support.get_llvmcpy helper ... Add the `get_llvmcpy` helper function which returns an instance of `LLVMCPy` which uses the `llvm-config` that's present in the search paths.	2025-05-05 16:02:40 +02:00
Giacomo Vercesi	57c4f89dd3	python: remove relative imports ... Remove all the relative imports from the python code that are not relative to the current module (e.g. `from .<X> import ...`).	2025-05-05 16:02:40 +02:00
Giacomo Vercesi	3fe3a8524a	Implement mass testing ... Add the `revng mass-testing` commands and auxiliary executables which simplify running revng on a huge quantity of input executables.	2024-10-01 13:38:21 +02:00
Giacomo Vercesi	9a29c7117b	commands_registry.py: allow subcommands in subdirs ... Allow external subcommands to live in subdirectories w.r.t. the main directory.	2024-10-01 13:38:14 +02:00
Giacomo Vercesi	993f66d59c	revng cli: drop revng- prefix from libexec ... Drop using the `revng-` prefix from all executables under `libexec/revng/`. Now any executable found under there that is executable and without extension will be considered a `revng` subcommand, following the usual command-line rules.	2024-10-01 13:38:14 +02:00
Giacomo Vercesi	e9a445b3a8	commands_registry: move to revng.py ... Move the `commands_registry` instance from the `commands_registry.py` to `revng.py` where the actual implementation of the registry happens.	2024-10-01 13:38:13 +02:00
Giacomo Vercesi	942cf50735	python: create python wheels ... Package revng's python code in two wheels: `revng` and `revng_internal`. The revng wheel contains the `revng.{pipeline_description,model,tupletree}` modules, while the `revng_internal` one everything under `revng.internal`.	2023-12-12 14:52:22 +01:00