Giacomo Vercesi b229fcc469 model: rework python mixin infrastructure ...

Rework the python mixin infrastructure for the model. Mixins are now
specified explicitly instead of using the `ast` module. The mixins are
loaded relative to the generated python file, this allows to have two
models: `revng.model` and `revng.project.model`. The latter is augmented
via mixins to have project-specific facilities such as `get_artifact`
and artifact accessors.

2026-04-09 17:07:44 +02:00

..

ABI

TupleTree: fix broken operator==

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

Backend

Rename StackFrameVariableName

2026-02-13 08:41:39 +02:00

BasicAnalyses

GCBI: explicitly store module reference

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

Canonicalize

llvm-to-clift -> clifter

2026-03-27 07:05:44 +00:00

Clift

Move operand constraints from C++ to tablegen

2026-04-08 12:30:31 +03:00

CliftEmitC

Improve integer literal emission

2026-04-08 12:31:45 +03:00

Clifter

Add Clift ValueType interface

2026-04-08 12:28:45 +03:00

CliftImportModel

Remove pointers to array in model type import

2026-04-08 12:32:18 +03:00

CliftPipes

ImportModel: expose a high level type importer

2026-03-27 08:15:23 +00:00

CliftTransforms

Improve integer literal emission

2026-04-08 12:31:45 +03:00

DataLayoutAnalysis

model::Function: add stack frame name and comment

2026-02-13 08:41:39 +02:00

EarlyFunctionAnalysis

Model: rename Inline into AlwaysInline

2026-03-27 08:16:21 +00:00

FunctionCallIdentification

Fix static IR helper object names

2026-02-25 14:10:44 +01:00

FunctionIsolation

isolate: whitelist more GVs to preserve

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

GraphLayout

Remove and ban \file

2025-12-16 17:41:55 +01:00

HeadersGeneration

CAttributes.h: move back to PTML

2026-03-27 07:19:27 +00:00

HelperArgumentsAnalysis

Introduce helpers declarations

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

ImportFromC

CAttributes.h: move back to PTML

2026-03-27 07:19:27 +00:00

InitModelTypes

Drop Logger's StaticEnabled feature

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

Lift

isolate: clone root module conservatively

2026-02-05 10:20:45 +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

Model

model: rework python mixin infrastructure

2026-04-09 17:07:44 +02:00

Pipebox

Add LLMRename analysis to pypeline

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

PipeboxCommon/Python

pypeline: rework fields in pipeline metadata

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

Pipeline

Remove and ban \file

2025-12-16 17:41:55 +01:00

PipelineC

Do not use doxygen for TODOs

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

Pipes

Fix and ban namespace clobbering

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

PromoteStackPointer

DetectStackSize: sign-exted LowerBound

2026-03-18 15:19:18 +01:00

PTML

PTML: fix list attribute emission

2026-03-27 07:19:27 +00:00

Recompile

Introduce helpers declarations

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

RemoveExtractValues

RemoveExtractValues: do not link to TypeNames

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

RemoveLiftingArtifacts

getPointerSizedInteger: use model::Architecture

2025-12-22 11:34:47 +01:00

RestructureCFG

Remove and ban \file

2025-12-16 17:41:55 +01:00

Storage

Remove and ban \file

2025-12-16 17:41:55 +01:00

Support

Change default C target size of long

2026-04-08 11:12:41 +03:00

TypeNames

Model: rename Inline into AlwaysInline

2026-03-27 08:16:21 +00:00

TypeShrinking

Remove and ban \file

2025-12-16 17:41:55 +01:00

UnitTestHelpers

Remove and ban \file

2025-12-16 17:41:55 +01:00

ValueMaterializer

Fix and ban namespace clobbering

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

Yield

Fix and ban namespace clobbering

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

CMakeLists.txt

pypeline: drop TraceRunner

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