Giacomo Vercesi df72bb68b0 GraphQL: introduce CORS headers ...

Add CORS headers to the graphql api. These are set via the REVNG_ORIGINS
environment variable.

2022-06-29 14:50:58 +02:00

..

merge_dynamic

revng-check-conventions: introduce isort

2022-04-20 09:57:08 +02:00

model_dump

Fix pyYAML type error

2022-06-13 18:35:37 +02:00

__init__.py

Turn Python scripts into modules

2022-02-23 18:02:42 +01:00

commands_registry.py

Add revng yield assembly tool

2022-05-06 18:51:47 +02:00

daemon.py

GraphQL: introduce CORS headers

2022-06-29 14:50:58 +02:00

lift.py

revng-check-conventions: introduce isort

2022-04-20 09:57:08 +02:00

llvm_pipeline.py

revng-pipeline: globals, extractOne and analyses

2022-05-24 08:58:48 +02:00

opt.py

revng opt: do not add --help

2022-05-12 21:54:42 +02:00

override_by_name.py

Fix pyYAML type error

2022-06-13 18:35:37 +02:00

pipeline.py

revng-check-conventions: introduce isort

2022-04-20 09:57:08 +02:00

revng.py

Fix revng --prefix

2022-05-31 11:30:10 +02:00

support.py

revng.api: autodetect files

2022-06-29 14:49:29 +02:00

translate.py

revng-pipeline: globals, extractOne and analyses

2022-05-24 08:58:48 +02:00