12 Commits

Author	SHA1	Message	Date
Giacomo Vercesi	2e96e09f63	Drop analyze-all ... Drop all the uses of analyzeAll and swap its use with the invocation of the appropriate analysesList	2023-03-22 17:50:02 +01:00
Giacomo Vercesi	a926ca8fcb	revng: make cmd tools analysesList-aware ... Add the possibility to use analyses lists on tools where the use of analyses names is allowed	2023-03-22 17:31:46 +01:00
Ivan Krysak	a06d9fedbd	STLExtras: extend revng::find family	2023-03-15 10:19:01 +01:00
Massimo Fioravanti	9432399254	Introduce ApplyDiffAnalysis	2023-02-06 09:37:23 +01:00
Giacomo Vercesi	81d25f9805	PipelineC: expose invalidation logic	2022-10-30 09:13:14 +01:00
Massimo Fioravanti	6a869735a9	Pipeline: fix driver for targetless invocation	2022-10-21 11:18:33 +02:00
Alessandro Di Federico	cf62e6dce7	Minor changes	2022-09-22 17:43:55 +02:00
Davide Depau	286a9fe2d3	revng-analyze: add InitRevng to entrypoint	2022-09-19 08:32:02 +02:00
Massimo Fioravanti	633f49c1ef	Introduce dedicated namespace for kinds and ranks	2022-08-29 14:44:53 +02:00
Massimo Fioravanti	6b099c57e8	Pipeline: introduce options for analyses	2022-08-29 14:43:25 +02:00
Massimo Fioravanti	d250d43ee4	revng-pipeline: factor out common CLI options ... Common CLI options that were used by multiple tools and have now been isolated into a single include file to be used before declaring main.	2022-08-10 09:49:24 +02:00
Massimo Fioravanti	261a114d6d	Pipeline: corner-case fix in backward deduction	2022-08-10 09:49:24 +02:00