Giacomo Vercesi 405733369b Add ImportWellKnownModelsAnalysis to pypeline

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

..

Importer

Add ImportWellKnownModelsAnalysis to pypeline

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

Pass

Drop Logger's StaticEnabled feature

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

Binary.cpp

st0_x86: fix deserialization

2025-11-13 17:06:38 +01:00

CMakeLists.txt

RawBinaryView: outline to .cpp

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

CommonTypeMethods.cpp

Adopt reworked model::Type

2024-06-27 11:05:51 +02:00

FunctionTags.cpp

Introduce libtcg

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

LoadModelPass.cpp

Drop unused includes

2025-10-08 12:22:34 +03:00

NameBuilder.cpp

Implement bit_cast in Clift backend

2025-12-05 19:53:41 +02:00

NamespaceBuilder.h

Introduce LLVMFunctionMixin

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

Processing.cpp

Adopt reworked model::Type

2024-06-27 11:05:51 +02:00

ProgramCounterHandler.cpp

Introduce libtcg

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

RawBinaryView.cpp

Add Lift to pypeline

2025-11-18 17:47:54 +01:00

Type.cpp

Never include model::VerifyHelper from headers

2025-02-13 13:09:50 +02:00

TypeDefinition.cpp

Never include model::VerifyHelper from headers

2025-02-13 13:09:50 +02:00

TypeSystemPrinter.cpp

TypeSystemPrinter: fix port number without return

2025-11-28 16:05:58 +01:00

Verification.cpp

Model verify: allow / in most places

2025-11-11 17:56:54 +01:00

Visits.cpp

Add Binaries list to the model

2025-10-16 17:48:45 +02:00