4 Commits

Author	SHA1	Message	Date
Giacomo Vercesi	0ec2fdd175	revng.daemon: prevent shutdown crash ... Change the behavior of `revng daemon` to avoid a crash at shutdown caused by `rp_shutdown` not being called due to the pointer of `rp_manager` not being freed.	2023-07-21 09:34:00 +02:00
Giacomo Vercesi	af237074f3	Implement AnalysesList in Python API & GraphQL ... Implement the new functionality of AnalysesList on the python's side of rev.ng and the GraphQL schema both in static and autogenerated form	2023-03-22 17:31:46 +01: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	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