Giacomo Vercesi f02aecfccb Python API: produce now returns a dict ...

When requesting a produce for multiple targets the result will be a
dictionary mapping "<target>:<result>". This also changes the GraphQL
API where a json-serialized string is returned.

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

..

api

Python API: produce now returns a dict

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

cli

GraphQL: introduce CORS headers

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

daemon

Python API: produce now returns a dict

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

model

revng-check-conventions: introduce isort

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

support

revng.api: autodetect files

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

__init__.py

Turn Python scripts into modules

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

tupletree.py

revng-check-conventions: introduce isort

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