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,794 Commits 215 Branches 0 Tags
feature/dormitory
Commit Graph

3 Commits

Author SHA1 Message Date
Giacomo Vercesi b8bd2fe868 Cleanup revng.daemon graphql API 
Drop autogenerated queries from the GraphQL API and switch `revng.api`
to use `PipelineDescriptor`.
 2023-09-14 15:06:14 +02:00
Giacomo Vercesi e719b3b7e5 Add components to revng cli driver 
This commit introduces the concept of `Component` to a pipeline step.
This, in turn, can be used by clients to figure out which artifacts are
produced by which revng component.
Additionally, this commit overhauls the `revng daemon-self-test`
command, renaming it to `revng graphql` and adding extra flexibility.
 2023-08-23 17:45:36 +02:00
Giacomo Vercesi 13ba286a9a Drop hard-coded analyses list 
Remove any use of hard-coded analyses lists, relying on user interaction
(e.g. command-line arguments) to have it instead.
 2023-08-23 17:45:36 +02:00