Massimo Fioravanti c276a439b5 Add pipeline invalidation ...

Replace the stub implementation of invalidation with the proper
implementation. A ReadPathCache is added to each global so that it can
keep tracks of what target are associated to which read paths.

2024-01-02 11:14:56 +01:00

..

efa

Use Container::contains() where appropriate

2023-07-02 15:06:11 +00:00

lddtree

Push ParseCommandLineOptions into InitRevng

2023-04-28 14:34:35 +02:00

link-for-translation

Push ParseCommandLineOptions into InitRevng

2023-04-28 14:34:35 +02:00

model

Enforce licence header consistency

2023-07-03 15:23:10 +00:00

pipeline

Add pipeline invalidation

2024-01-02 11:14:56 +01:00

trace

revng trace run: allow providing resume directory

2023-11-03 18:29:10 +01:00

CMakeLists.txt

PipelineC: add tracing

2023-04-20 14:43:13 +02:00