Ivan Krysak 5f511d8e17 verify-against-model: split into two ...

The resulting pipes are:
1. binary-granularity one with the name unchanged
2. function-granularity one called `verify-function-against-model`.

2026-04-22 08:19:30 +00:00

..

ABI

Add ConvertFunctionsToRaw analysis to pypeline

2026-03-04 14:58:02 +01:00

ADT

Add ADT/LineRange.h

2026-04-09 18:37:46 +03:00

Backend

Add emit-c-as-single-file to pypeline

2025-12-10 16:16:14 +01:00

BasicAnalyses

GCBI: explicitly store module reference

2026-02-05 09:25:42 +01:00

Canonicalize

Add SwitchToStatements to pypeline

2025-12-10 16:16:14 +01:00

Clift

Introduce clift::ClassType::getCAttributes

2026-04-22 06:14:52 +00:00

CliftEmitC

Introduce helper header emitter

2026-04-22 08:19:25 +00:00

Clifter

Clift directory structure overhaul

2025-10-13 15:08:20 +02:00

CliftImportModel

model-verify-clift -> verify-against-model

2026-04-22 08:19:30 +00:00

CliftPipes

verify-against-model: split into two

2026-04-22 08:19:30 +00:00

CliftTransforms

Clift: introduce simple passes for header tests

2026-04-22 08:19:29 +00:00

DataLayoutAnalysis

Add AnalyzeDataLayout analysis to pypeline

2025-12-10 16:16:14 +01:00

EarlyFunctionAnalysis

Fix and ban namespace clobbering

2026-02-16 10:34:38 +01:00

FunctionCallIdentification

Use Container::contains() where appropriate

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

FunctionIsolation

isolate: clone root module conservatively

2026-02-05 10:20:45 +01:00

GraphLayout

auto [...] -> auto &&[...]

2025-02-13 13:10:51 +02:00

HeadersGeneration

Add emit-c-as-single-file to pypeline

2025-12-10 16:16:14 +01:00

HelperArgumentsAnalysis

Introduce libtcg

2025-10-31 17:25:03 +01:00

ImportFromC

Add ImportFromC analysis to pypeline

2026-03-04 14:58:02 +01:00

InitModelTypes

Add initModeTypesConsideringUses

2025-05-29 09:38:01 +02:00

Lift

Lift: zero initialize temporaries

2025-12-16 17:42:07 +01:00

LLMRename

Add LLMRename analysis to pypeline

2026-03-31 17:00:48 +02:00

LocalVariables

Do not use doxygen for TODOs

2026-02-25 12:47:27 +01:00

MFP

Drop Logger's StaticEnabled feature

2025-10-31 17:25:03 +01:00

Model

CommonTypeMethods: add getters for function types

2026-04-10 15:27:24 +02:00

Pipebox

pipebox: rename CliftContainer.h

2026-03-25 17:26:24 +00:00

PipeboxCommon

pypeline: add Analysis.is_available

2026-03-31 17:00:48 +02:00

Pipeline

TupleTree: overhaul reference caching

2026-03-04 14:58:02 +01:00

PipelineC

Cleanup Storage classes

2025-05-07 16:42:34 +02:00

Pipes

Minor improvements

2026-04-21 07:54:50 +00:00

PromoteStackPointer

Add SegregateStackAccesses to pypeline

2025-12-10 16:16:14 +01:00

PTML

CTokenEmitter: wrap everything into a <div>

2026-04-22 06:33:56 +00:00

Recompile

Make SingleOutputPipe uniform to other piperuns

2025-12-10 15:05:53 +01:00

RegisterUsageAnalyses

Add some missing includes

2024-05-03 21:52:40 +02:00

RemoveExtractValues

Merge revng-c into revng

2024-11-21 10:50:55 +01:00

RemoveLiftingArtifacts

Add CleanupIR to pypeline

2025-12-10 16:16:14 +01:00

RestructureCFG

Minor changes

2025-12-03 17:59:18 +01:00

Runtime

Minor changes

2024-07-10 15:34:19 +02:00

Storage

FilePath: fix addExtension

2025-06-27 17:12:18 +02:00

Support

Add LLMRename analysis to pypeline

2026-03-31 17:00:48 +02:00

tests/unit

TupleTree: fix broken operator==

2026-03-04 14:58:02 +01:00

TupleTree

TupleTree: overhaul reference caching

2026-03-04 14:58:02 +01:00

TypeNames

Minor improvements

2026-02-25 12:47:27 +01:00

TypeShrinking

BitLivenessWrapperPass::dump

2024-07-10 16:19:26 +02:00

UnitTestHelpers

Minor changes

2025-10-24 18:20:48 +02:00

ValueMaterializer

Fix and ban namespace clobbering

2026-02-16 10:34:38 +01:00

Yield

Add yield-cfg to pypeline

2025-12-10 16:16:14 +01:00

CMakeLists.txt

Clift directory structure overhaul

2025-10-13 15:08:20 +02:00