Giacomo Vercesi 3bdf8468b1 Add extra command line options to 'revng daemon' ...

--production runs the server on all interfaces and with debug options
disabled
--hypercorn-args allows to pass extra options to hypercorn when running
revng daemon

2022-05-06 15:04:19 +02:00

..

merge_dynamic

revng-check-conventions: introduce isort

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

model_dump

revng-check-conventions: introduce isort

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

__init__.py

Turn Python scripts into modules

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

commands_registry.py

revng --help: do not display absolute paths

2022-05-06 15:03:35 +02:00

daemon.py

Add extra command line options to 'revng daemon'

2022-05-06 15:04:19 +02:00

lift.py

revng-check-conventions: introduce isort

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

llvm_pipeline.py

llvm pipeline: handle - as input

2022-04-29 17:57:49 +02:00

opt.py

revng-check-conventions: introduce isort

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

override_by_name.py

Introduce revng model override-by-name

2022-04-29 17:57:49 +02:00

pipeline.py

revng-check-conventions: introduce isort

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

revng.py

Introduce revng model override-by-name

2022-04-29 17:57:49 +02:00

support.py

revng daemon: properly shut down after tests

2022-05-06 15:03:51 +02:00

translate.py

revng-check-conventions: introduce isort

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