9 Commits

Author	SHA1	Message	Date
Giacomo Vercesi	ca66b4ddfc	InitRevng: fix command line parsing ... This commit fixes command line parsing of revng through the REVNG_OPTIONS environment variable. Previously the env was prepended to the actual command-line variables, now it's appended, allowing to specify command line arguments that depend on `-load`s.	2024-01-26 17:46:21 +01:00
Giacomo Vercesi	6d03b5874e	InitRevng: HideUnrelatedOptions only when provided ... Avoid calling `HideUnrelatedOptions` in InitRevng if the `CategoriesToHide` option is empty.	2023-11-03 18:29:10 +01:00
Giacomo Vercesi	dc90bca33e	revng/Support: split part of Statistics in OnQuit ... Split the OnQuit functionality of Statistics as a separate header and object file. Rework the interface to use lambdas instead of the OnQuitInterface.	2023-09-06 15:23:43 +02:00
Alessandro Di Federico	f120ad334c	Statistics.h: rework	2023-06-30 13:06:58 +02:00
Alessandro Di Federico	4b2e067574	rcc: ban functions we wrap	2023-04-28 14:34:52 +02:00
Alessandro Di Federico	f68185abc9	Push ParseCommandLineOptions into InitRevng	2023-04-28 14:34:35 +02:00
Ivan Krysak	11c0d7f02e	Stop using \brief doxygen command	2023-03-15 10:19:01 +01:00
Davide Depau	4c0576c1e4	Set custom crash error message	2022-07-22 21:04:03 +02:00
Davide Depau	4f06a26105	Introduce CLI initialization utility	2022-07-22 21:04:03 +02:00