5 Commits

Author	SHA1	Message	Date
Massimo Fioravanti	d55aa9b9e6	Pipeline: remove * from targets ... Now * is just a pipeline frontend shorthand.	2022-10-20 14:20:12 +02:00
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
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	7c3d9a3fcd	Python API: automatically call destructors ... Use the owning annotation in PipelineC/Prototypes.h to automatically destroy resources when they go out of scope on the python side.	2022-05-24 08:59:08 +02:00
Giacomo Vercesi	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