Massimo Fioravanti 7804dab1d5 Add model tracking visits ...

Implement the core visits that are able to inspect the model bypassing
the instrumentation.

2023-04-21 17:30:33 +02:00

..

DiffError.h

Fix error messages capitalization

2023-02-09 13:44:22 +01: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

Standardize concept naming across the codebase

2022-08-05 17:27:56 +03:00

NamedEnumScalarTraits.h

Explode TupleTree.h

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

Tracking.h

Add model tracking visits

2023-04-21 17:30:33 +02:00

TupleLikeTraits.h

Adopt more standard library's features

2023-04-08 08:42:23 +02:00

TupleTree.h

Adopt more standard library's features

2023-04-08 08:42:23 +02:00

TupleTreeCompatible.h

Adopt clang-format 16

2023-04-08 08:42:23 +02:00

TupleTreeDiff.h

Add model tracking visits

2023-04-21 17:30:33 +02:00

TupleTreeImpl.h

TupleTree::visit: externalize

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

TupleTreePath.h

Rework and EFA yield cross relations

2023-02-06 09:37:23 +01:00

TupleTreeReference.h

Stop using \brief doxygen command

2023-03-15 10:19:01 +01:00

Visits.h

Add model tracking visits

2023-04-21 17:30:33 +02:00

VisitsImpl.h

Introduce DocumentError

2023-02-09 13:42:50 +01:00