Giacomo Vercesi b8bd2fe868 Cleanup revng.daemon graphql API ...

Drop autogenerated queries from the GraphQL API and switch `revng.api`
to use `PipelineDescriptor`.

2023-09-14 15:06:14 +02:00

..

__init__.py

Cleanup revng.daemon graphql API

2023-09-14 15:06:14 +02:00

_capi.py

revng.cli: centralize collect_pipelines

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

errors.py

revng.api: adopt rp_error

2023-02-09 13:43:33 +01:00

exceptions.py

revng.api: adopt rp_error

2023-02-09 13:43:33 +01:00

invalidations.py

PipelineC: expose invalidation logic

2022-10-30 09:13:14 +01:00

manager.py

Cleanup revng.daemon graphql API

2023-09-14 15:06:14 +02:00

string_map.py

GraphQL: expose analysis options

2023-03-22 17:31:46 +01:00

target.py

Cleanup revng.daemon graphql API

2023-09-14 15:06:14 +02:00

utils.py

Cleanup revng.daemon graphql API

2023-09-14 15:06:14 +02:00