Khaled Ismaeel 6cdf2b74cb Bump model version to v3

2025-04-28 13:03:53 +02:00

..

ABI

Remove the now-redundant HEADERS list

2025-04-28 13:01:46 +02:00

Backend

Return to using constant name builders

2025-04-17 11:19:17 +03:00

BasicAnalyses

BasicAnalyses: adopt helper registry

2025-04-17 11:19:17 +03:00

Canonicalize

Avoid ' misuse in error messages and comments

2025-04-17 16:41:21 +02:00

DataLayoutAnalysis

Fix codespell errors

2025-04-24 13:22:14 +02:00

EarlyFunctionAnalysis

Remove the now-redundant HEADERS list

2025-04-28 13:01:46 +02:00

FunctionCallIdentification

FunctionCallIdentification: adopt helper registry

2025-04-17 11:19:17 +03:00

FunctionIsolation

FunctionIsolation: adopt helper registry

2025-04-17 11:19:17 +03:00

GraphLayout

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

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

HeadersGeneration

Avoid ' misuse in error messages and comments

2025-04-17 16:41:21 +02:00

ImportFromC

Avoid ' misuse in error messages and comments

2025-04-17 16:41:21 +02:00

InitModelTypes

InitModelTypes: improve types of void * variables

2025-03-05 12:22:30 +01:00

Lift

Fix codespell errors

2025-04-24 13:22:14 +02:00

LocalVariables

LocalVariableBuilder: make array-typed allocas

2025-04-22 15:24:30 +02:00

mlir

Avoid ' misuse in error messages and comments

2025-04-17 16:41:21 +02:00

Model

Adapt the build to the new schema version field

2025-04-28 13:03:53 +02:00

Pipeline

Add automatic migrations in PipelineManager

2025-04-28 13:03:53 +02:00

PipelineC

Add automatic migrations in PipelineManager

2025-04-28 13:03:53 +02:00

Pipes

Add automatic migrations in PipelineManager

2025-04-28 13:03:53 +02:00

PromoteStackPointer

Use revng_undefined_ instead of init_

2025-04-17 11:19:17 +03:00

PTML

Return to using constant name builders

2025-04-17 11:19:17 +03:00

Recompile

Drop Pipe::print

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

RemoveExtractValues

Merge revng-c into revng

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

RemoveLiftingArtifacts

Use revng_undefined_ instead of init_

2025-04-17 11:19:17 +03:00

RestructureCFG

RestructureCFG: adopt helper registry

2025-04-17 11:19:17 +03:00

Storage

LocalStorageClient: save filelist

2025-03-27 12:45:29 +01:00

Support

Bring name mangling out into a support helper

2025-04-24 13:22:14 +02:00

TypeNames

Return to using constant name builders

2025-04-17 11:19:17 +03:00

TypeShrinking

Introduce early-type-shrinking

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

UnitTestHelpers

Add some missing includes

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

ValueMaterializer

AVI: set the extremal value ot top

2025-04-15 15:31:10 +02:00

Yield

Bump model version to v3

2025-04-28 13:03:53 +02:00

CMakeLists.txt

Add helpers to manipulate model type metadata

2025-01-29 15:17:15 +01:00