Alessandro Di Federico 940304c0da fetch_debuginfo: use HTTPS for msdl.microsoft.com

2023-11-21 10:41:29 +01:00

..

fetch_debuginfo

fetch_debuginfo: use HTTPS for msdl.microsoft.com

2023-11-21 10:41:29 +01:00

graphql

revng.graphql: enforce index consistency

2023-11-03 14:51:31 +01:00

merge_dynamic

revng cli: migrate legacy scripts to _commands

2023-05-11 10:02:46 +02:00

model_to_json

revng cli: migrate legacy scripts to _commands

2023-05-11 10:02:46 +02:00

ptml

FunctionStringMap: switch to using GzipTarFile

2023-09-06 15:23:43 +02:00

daemon.py

revng daemon: allow setting exposed CORS headers

2023-09-06 16:12:43 +02:00

hard_purge.py

revng.cli._commands: drop shebangs

2023-04-20 14:43:11 +02:00

idb_converter.py

rcc: add codespell

2023-05-11 10:05:32 +02:00

import_idb.py

revng.cli._commands: drop shebangs

2023-04-20 14:43:11 +02:00

lift.py

Give pretty names to temporary files

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

llvm_pipeline.py

revng.cli: ensure proper exit code propagation

2023-06-23 17:55:41 +02:00

model_compare.py

model::Type::ID: switch to progressive IDs

2023-08-23 16:14:04 +02:00

opt.py

revng opt: force legacy pass manager

2023-04-08 08:42: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: centralize collect_pipelines

2023-08-23 17:45:36 +02:00

trace_run.py

revng.cli: centralize collect_pipelines

2023-08-23 17:45:36 +02:00

translate.py

Model: make AddPrimitiveTypes a pure analysis

2023-03-15 10:19:01 +01:00