6 Commits

Author	SHA1	Message	Date
Giacomo Vercesi	a8f0a844bb	revng.project: fix auto-extraction bug ... When producing artifacts, if the rank is 0 the only element should be extracted from the produced dict. Fix a wrong assertion that checked that the returned dict has 0 keys instead of 1.	2025-07-18 09:30:56 +02:00
Giacomo Vercesi	69dc55fa9d	get_artifact: produce all when using binary ... When passing the binary root object, produce all the targets.	2025-07-18 09:30:55 +02:00
Giacomo Vercesi	f3cccf8bda	revng/project: make some attributes private ... Rename some attributes to make them private, as they won't be used by the end-user.	2025-07-18 09:30:55 +02:00
Giacomo Vercesi	460ffbf965	project: move some methods to Binary ... Move some methods from the `Project` class to `model.Binary`.	2025-07-18 09:30:55 +02:00
Giacomo Vercesi	8484f3c4b8	Fix backslash in f-string causing an error ... In python versions prior to 3.12, using a backslash in an f-string would cause a `SyntaxError`, change the expression to use string concatenation.	2025-07-11 17:06:13 +02:00
Giacomo Vercesi	3e3779498e	Implement python interface for revng ... Add a python interface (`revng.profile`) for interacting with the rev.ng infrastructure as a whole; either through the CLI (`CLIProject`) or the GraphQL API (`DaemonProject`).	2025-05-07 10:48:51 +02:00