f710af9f2f
Cleanup revng.daemon graphql API
...
Drop autogenerated queries from the GraphQL API and switch `revng.api`
to use `PipelineDescriptor`.
2023-09-14 15:44:33 +02:00
93d3a6238d
revng: introduce S3 support
...
Add the capability for all revng tooling to run with an S3-backed
workdir.
2023-09-06 15:23:43 +02:00
a465e796df
revng.api: explicitly declare exports
2022-10-30 09:11:53 +01:00
4271082b3f
revng.api: remove dead import
2022-10-11 17:09:18 +02:00
3307fb4a46
api.Manager: use TemporaryDirectory if no workdir
2022-09-26 18:09:01 +02:00
6dd80c7167
Fix lint issues from signal handler changes
2022-07-26 09:52:30 +02:00
363fa21fe0
Introduce PipelineC API shutdown method
2022-07-22 21:04:03 +02:00
79c6086d0d
revng.api: autodetect files
...
`revng.api` now autodetects files (libraries, pipeline yamls) for
initialization via the same mechanism used by `revng.cli`. This removes
the need to pass them via environment variables from `revng daemon`
and allows easy interaction with python's C API.
2022-06-29 14:49:29 +02:00
7231ee607a
Introduce PipelineC wrapper for Python
...
Add the revng.api module: a wrapper around the PipelineC API.
2022-04-26 15:59:35 +02:00
Giacomo Vercesi