9 Commits

Author	SHA1	Message	Date
Giacomo Vercesi	27f419c8cd	Fix and ban namespace clobbering ... Fix an instance where the `std` namespace got clobbered into the global namespace by accident.	2026-02-16 10:34:38 +01:00
Alessandro Di Federico	5820908675	Remove and ban \file	2025-12-16 17:41:55 +01:00
Ivan Krysak	dbd8a720b7	Reduce using namespace abuse	2025-09-10 17:44:02 +02:00
Lauri Vasama	893ca56921	Require separate output arguments in revng pipe ... Each mutable container used by the pipe now requires a separator output path argument.	2025-06-04 15:13:47 +02:00
Lauri Vasama	4380f374b1	Fix revng pipe output container targets ... Previously revng pipe did not correctly propagate targets from input containers into output containers based on the pipe contract. This happened to work for pipes acting on LLVM containers where the same container is used for input and output, but failed for the Clift backend pipe, where an MLIR container is used for input and a string map container is used for output.	2025-06-04 15:13:47 +02:00
Giacomo Vercesi	79272adc9d	CLI: check that FilePaths are actually files ... Add checks that return an `llvm::Error` in case a provided path is a directory in the case a `FilePath` was requested.	2025-05-07 16:42:34 +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
Alessandro Di Federico	7b00473859	PDBImporter: rework .pdb search	2024-08-05 17:41:34 +02:00
Massimo Fioravanti	7ee8c8000d	Introduce revng pipe	2024-06-20 09:57:36 +02:00