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,203 Commits 215 Branches 0 Tags
feature/various-fixes-2
Commit Graph

6 Commits

Author SHA1 Message Date
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