Giacomo Vercesi ab6aa2eb5f 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 18:38:18 +01:00

..

api

revng.api: Fix file upload/buffer reading

2023-02-16 15:11:00 +01:00

cli

revng daemon: add timeout-keep-alive option

2023-03-14 18:38:18 +01:00

daemon

revng.api: adopt rp_error

2023-02-09 13:43:33 +01:00

model

revng.model: drop last version autodetection

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

support

revng.support: add get_root

2022-10-24 09:58:55 +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