Giacomo Vercesi 74cbb83d10 fetch-debuginfo: add retries ...

Add retries when fetching debugging symbols via the `revng model
fetch-debuginfo` command. Retries only apply when the status code
returned by the server is within the expected ones.

2025-02-24 18:17:47 +01:00

..

fetch_debuginfo

fetch-debuginfo: add retries

2025-02-24 18:17:47 +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

process_docs_yaml

Reroganize and expand documentation

2024-12-11 16:15:37 +01:00

ptml

revng ptml: drop c.comparison PTML token

2024-12-20 12:24:28 +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: drop unwrapping of zstd modules

2024-11-26 11:30:19 +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

Minor changes

2024-12-11 16:15:09 +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