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,487 Commits 215 Branches 0 Tags
feature/python-trace
Commit Graph

9 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
Massimo Fioravanti 6b099c57e8 Pipeline: introduce options for analyses 2022-08-29 14:43:25 +02:00
Massimo Fioravanti bf39373f87 revng-invalidate: drop superfluous dependency 2022-08-10 09:49:24 +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 0bb115a4f3 revng-pipeline: rework syntax for targets 
Was: step:container:p/a/t/h:kind
Now: step/container/p/a/t/h:kind
 2022-08-10 09:49:24 +02:00
Davide Depau 8d89be44fc Add initialization utility to all main functions 2022-07-22 21:04:03 +02:00
Alessandro Di Federico f4684e244d Switch to new testsuite 2022-06-20 19:04:18 +02:00
Massimo Fioravanti f0a5ffe3b3 revng-pipeline: globals, extractOne and analyses 2022-05-24 08:58:48 +02:00
Massimo Fioravanti eef9ba74da Introduce ModelInvalidationEvent 2022-04-15 15:17:58 +02:00