Ivan Krysak 31068f3d43 Pipeline: introduce an optional model path

2025-05-07 10:48:49 +02:00

..

CMakeLists.txt

Pipeline: invalidate if *any* input is invalidated

2025-05-07 08:36:44 +02:00

ContainerSet.cpp

Implement dirty bit on Container

2025-04-03 15:59:18 +02:00

Context.cpp

Introduce an error creation helper

2024-11-06 15:20:37 +02:00

Contract.cpp

Pipeline: invalidate if *any* input is invalidated

2025-05-07 08:36:44 +02:00

DescriptionConverter.cpp

Pipeline: introduce an optional model path

2025-05-07 10:48:49 +02:00

Errors.cpp

Minor changes

2024-11-28 13:58:28 +01:00

ExecutionContext.cpp

Pipeline: invalidate if *any* input is invalidated

2025-05-07 08:36:44 +02:00

GenericLLVMPipe.cpp

UpdateContract: fix uninitialized Context *

2024-09-27 12:07:18 +02:00

Global.cpp

s/deserialize/fromString/g

2024-09-27 12:07:17 +02:00

GlobalsMap.cpp

pipeline: drop Disk from storage methods

2023-09-06 15:23:43 +02:00

Kind.cpp

s/Context &Ctx/Context &Context/g

2024-09-27 12:07:17 +02:00

LLVMContainer.cpp

Implement dirty bit on Container

2025-04-03 15:59:18 +02:00

Loader.cpp

Introduce an error creation helper

2024-11-06 15:20:37 +02:00

Pipe.cpp

Pipeline: invalidate if *any* input is invalidated

2025-05-07 08:36:44 +02:00

RegisterKind.cpp

Enforce licence header consistency

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

Registry.cpp

Enforce licence header consistency

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

Runner.cpp

Pipeline: invalidate if *any* input is invalidated

2025-05-07 08:36:44 +02:00

Step.cpp

Pipeline: invalidate if *any* input is invalidated

2025-05-07 08:36:44 +02:00

Target.cpp

revng artifact: omit kind

2025-05-07 10:48:48 +02:00