Giacomo Vercesi e43e720a35 revng daemon: allow setting exposed CORS headers ...

Add the enviroment variable `REVNG_EXPOSE_HEADERS` for `revng daemon` to
allow customizing the headers exposed via CORS.

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

..

fetch_debuginfo

fetch-debuginfo: improve cache folder handling

2023-05-24 11:09:04 +02:00

graphql

Add components to revng cli driver

2023-08-23 17:45:36 +02: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