Giacomo Vercesi 4ea7abe773 revng opt: make compatible with zstd ...

Change the `revng opt` wrapper so that when a zstd-compressed module is
passed it is decompressed on the fly and passed to llvm's opt.

2024-10-30 10:28:03 +01:00

..

fetch_debuginfo

fetch_debuginfo: download files atomically

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

graphql

revng daemon: improve detection of interpreter

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

mass_testing

Implement mass testing

2024-10-01 13:38:21 +02: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

Introduce revng tar-to-yaml

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

daemon.py

python: create python wheels

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

hard_purge.py

python: create python wheels

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

idb_converter.py

Adopt reworked model::Type

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

import_idb.py

import_idb.py: use setup function

2024-10-01 13:38:13 +02: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 10:28:03 +01:00

override_by_name.py

python: create python wheels

2023-12-12 14:52:22 +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

Adopt reworked model::Type

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