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

..

fetch_debuginfo

Introduce revng fetch-debuginfo

2022-12-13 11:25:36 +01:00

ptml

Fix handling of binaries with no functions

2022-11-22 16:19:28 +01:00

daemon_self_test.py

revng daemon: add timeout-keep-alive option

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

daemon.py

revng daemon: add timeout-keep-alive option

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

hard_purge.py

Give pretty names to temporary files

2022-09-26 18:09:01 +02:00

idb_converter.py

idb: fix generation of empty structs and unions

2023-01-27 17:49:11 +01:00

import_idb.py

Give pretty names to temporary files

2022-09-26 18:09:01 +02:00

lift.py

Give pretty names to temporary files

2022-09-26 18:09:01 +02:00

llvm_pipeline.py

Give pretty names to temporary files

2022-09-26 18:09:01 +02:00

opt.py

revng.cli: explicitly initialize Commands

2022-08-10 09:49:24 +02:00

override_by_name.py

override-by-name.py: compare to bytes

2022-11-30 15:06:54 +01:00

pipeline_tools.py

revng.cli: various improvements

2022-09-01 17:45:44 +02:00

translate.py

ImportBinary: turn into an analysis

2022-08-26 09:50:42 +02:00