admin/revng-revng
1
0
Fork 0
mirror of https://github.com/revng/revng synced 2026-06-21 14:07:57 +00:00
Code Issues Packages Projects Releases Wiki Activity
2,743 Commits 215 Branches 0 Tags
feature/progress-bars
Commit Graph

10 Commits

Author SHA1 Message Date
Giacomo Vercesi 7f73e2bfde revng.daemon: drop REVNG_PROJECT_ID 
Remove the logic for computing a manager's workdir using the
REVNG_PROJECT_ID environment variable, as it was unused. The
REVNG_DATA_DIR remains to allow persistence across restarts.
 2023-05-24 14:59:16 +02:00
Giacomo Vercesi 1f097bb46a revng.api: Fix leftover snake_case in as_dict 
This commit fixes the name of the fields returned by the `as_dict`
function that were left in snake_case when the field in the schema was
camelCase
 2023-03-22 17:31:46 +01:00
Giacomo Vercesi 8a780a58aa GraphQL: return binaries in b64 
This change fixes the pipeline behavior when producing targets:
* produce and extract now return rp_buffer, which has a start pointer
  and size
* the python api `revng.api` will return on produce/extract either str
  or  bytes depending on the mime type of the container
* the GraphQL api will encode bytes in base64
 2023-02-07 16:54:35 +01:00
Giacomo Vercesi 23cd7f871a revng daemon: fix project-id checking 
Fixes the regex that's used to check if the project ID is valid
 2023-02-07 16:54:35 +01:00
Giacomo Vercesi 4f5e9c5986 revng.daemon.util: Remove dead code 2022-10-04 14:13:55 +02:00
Alessandro Di Federico 3307fb4a46 api.Manager: use TemporaryDirectory if no workdir 2022-09-26 18:09:01 +02:00
Giacomo Vercesi 2ce7b216e8 GraphQL: drop step name conversion 2022-08-26 09:50:42 +02:00
Giacomo Vercesi 62e9baeddb GraphQL: rework schema to be camelCase 
GraphQL conventions, encourage the use of camelCase for query fields
and PascalCase for types, as detailed here:

    https://graphql-rules.com/rules/naming-fields-args
 2022-06-29 14:50:58 +02:00
Giacomo Vercesi 7052f2a8a0 Support analyses and globals in Python 
This commit adds the newly implemented functionality in PipelineC both
in revng.api and the graphql api, allowing:

* retrieval of global variable names
* unwrapping of a single target
* execution of analyses
 2022-05-24 10:56:02 +02:00
Giacomo Vercesi 172faebacf Introduce the revng.daemon GraphQL API 
This commit introduces the `revng.daemon` Python module, a Flask-powered
web application that exposes the functionality from `revng.api` across a
GraphQL API
 2022-04-26 15:59:35 +02:00