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

..

DiffError.h

Formatting: set AllowShortEnumsOnASingleLine

2023-07-02 13:15:08 +02:00

DocumentError.h

DiffErrors now use DiffLocations

2023-02-09 13:43:51 +01:00

EnumTraits.h

mv include/revng/{Model,TupleTree}/EnumTraits.h

2022-02-23 17:32:50 +01:00

Introspection.h

Formatting: set AllowShortEnumsOnASingleLine

2023-07-02 13:15:08 +02:00

NamedEnumScalarTraits.h

Explode TupleTree.h

2022-01-31 16:28:26 +01:00

Tracking.h

Add pipeline invalidation

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

TupleLikeTraits.h

Fix typos

2023-11-02 16:48:33 +01:00

TupleTree.h

Add pipeline invalidation

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

TupleTreeCompatible.h

Remove clang-format off around concepts

2023-07-02 13:20:49 +02:00

TupleTreeDiff.h

Concepts: prefer non-strict SpecializationOf

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

TupleTreeImpl.h

TupleTree::visit: externalize

2022-12-09 10:11:27 +01:00

TupleTreePath.h

model::Type::ID: switch to progressive IDs

2023-08-23 16:14:04 +02:00

TupleTreeReference.h

Introduce TupleTreeReference::dump

2023-10-05 10:19:44 +02:00

Visits.h

model::Type::ID: switch to progressive IDs

2023-08-23 16:14:04 +02:00

VisitsImpl.h

Tuple Tree Generator: remove Model headers

2023-09-14 15:44:32 +02:00