Giacomo Vercesi 046be11be2 revng graphql: gracefully terminate daemon ...

When stopping an internal daemon, first try to use SIGINT and then
resort to SIGKILL. This is to avoid the signal handler exiting with a
non-zero return code during shutdown.

2024-11-25 17:52:27 +01:00

..

fetch_debuginfo

fetch_debuginfo: fix race condition

2024-11-13 09:28:12 +01:00

graphql

revng graphql: gracefully terminate daemon

2024-11-25 17:52:27 +01:00

mass_testing

mass-testing: generate crash graphs for OOMs

2024-10-31 08:58:59 +01:00

merge_dynamic

python: create python wheels

2023-12-12 14:52:22 +01:00

model_to_json

python: create python wheels

2023-12-12 14:52:22 +01:00

ptml

ptml/common: fix missing kwargs

2024-11-22 16:05:16 +01:00

daemon.py

python: create python wheels

2023-12-12 14:52:22 +01:00

hard_purge.py

importBinary: fix error handling

2024-11-12 18:05:48 +01:00

idb_converter.py

Adopt reworked model::Type

2024-06-27 11:05:51 +02:00

import_idb.py

revng.internal.cli: unify temporary_file

2024-10-31 08:58:59 +01:00

model_compare.py

model compare: fix typos

2024-08-16 16:33:10 +02:00

opt.py

revng opt: make compatible with zstd

2024-10-30 21:57:56 +01:00

override_by_name.py

revng.internal.cli: unify temporary_file

2024-10-31 08:58:59 +01:00

pipeline_tools.py

revng cli: drop revng- prefix from libexec

2024-10-01 13:38:14 +02:00

tar_to_yaml.py

Introduce revng tar-to-yaml

2024-06-20 10:24:50 +02:00

test_docs.py

Import docs

2024-02-09 10:04:24 +01:00

trace_run.py

revng cli: drop revng- prefix from libexec

2024-10-01 13:38:14 +02:00

translate.py

s/module.ll/module.bc.zstd/g

2024-11-12 14:58:00 +01:00