Giacomo Vercesi 7751143aad revng daemon: add timeout-keep-alive option ...

Add the `--timeout-keep-alive` option for all invocations of `revng
daemon`. This avoids some edge cases where connections are abruply
closed.

2023-03-14 20:50:28 +01:00

..

_commands

revng daemon: add timeout-keep-alive option

2023-03-14 20:50:28 +01:00

merge_dynamic

merge-dynamic: drop a default argument

2022-09-22 17:43:55 +02:00

model_dump

revng-model-dump: emit YAML

2022-08-08 13:55:25 +02:00

__init__.py

Turn Python scripts into modules

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

commands_registry.py

Fix revng cli invocation with namespaces

2022-09-02 03:49:56 +02:00

revng.py

revng.cli: init commands_registry once

2022-11-02 11:50:40 +01:00

support.py

Disable LeakSanitizer

2023-01-21 16:46:35 +01:00