Ivan Krysak ccb7c41e9e Introduce automatic names for dynamic functions

2025-04-24 12:00:21 +02:00

..

ABI

Avoid ' misuse in error messages and comments

2025-04-17 16:41:21 +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-23 14:13:03 +02:00

EarlyFunctionAnalysis

EFA: adopt helper registry

2025-04-17 11:19:17 +03: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-23 14:13:03 +02:00

LocalVariables

LocalVariableBuilder: add pointer size assumption

2025-03-17 08:51:29 +01:00

mlir

Avoid ' misuse in error messages and comments

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

Model

Introduce automatic names for dynamic functions

2025-04-24 12:00:21 +02:00

Pipeline

Implement dirty bit on Container

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

PipelineC

ELFImport: fix input file missing

2025-03-14 13:05:39 +01:00

Pipes

Implement dirty bit on Container

2025-04-03 15:59:18 +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 12:00: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

Avoid ' misuse in error messages and comments

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

CMakeLists.txt

Add helpers to manipulate model type metadata

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