Giacomo Vercesi 7f73e2bfde revng.daemon: drop REVNG_PROJECT_ID ...

Remove the logic for computing a manager's workdir using the
REVNG_PROJECT_ID environment variable, as it was unused. The
REVNG_DATA_DIR remains to allow persistence across restarts.

2023-05-24 14:59:16 +02:00

..

_commands

revng.daemon: drop REVNG_PROJECT_ID

2023-05-24 14:59:16 +02:00

__init__.py

Turn Python scripts into modules

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

commands_registry.py

PipelineC: add tracing

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

revng.py

revng: fix executable/shebang in scripts

2023-05-11 10:02:46 +02:00

support.py

revng.support: Rework process invocation

2023-05-09 17:27:00 +02:00