Giacomo Vercesi 8d89c6a318 PipelineC: rp_initialize: only use argc and argv ...

Switch from specifying `libraries` and `pipelines` in `rp_initialize`
and `rp_manager_create` to the use of command-line options that are to
be passed via `argc` and `argv` in `rp_initialize`.

2023-04-20 14:43:12 +02:00

..

api

PipelineC: rp_initialize: only use argc and argv

2023-04-20 14:43:12 +02:00

cli

Allow the use of valgrind with python

2023-04-20 14:43:12 +02:00

daemon

Drop analyze-all

2023-03-22 17:50:02 +01:00

model

revng.model: drop last version autodetection

2022-07-22 15:07:14 +02:00

support

support.py: rework get_command

2023-04-13 18:11:48 +02:00

__init__.py

Turn Python scripts into modules

2022-02-23 18:02:42 +01:00

tupletree.py

Introduce v2 of revng-check-conventions

2022-09-29 15:21:59 +02:00