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

event_manager.py

revng.daemon: trim Eventmanager's functionality

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

graphql.py

Cleanup revng.daemon graphql API

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

multiqueue.py

PipelineC: expose invalidation logic

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

schema.graphql

Cleanup revng.daemon graphql API

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

util.py

Cleanup revng.daemon graphql API

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