Pietro Fezzardi 7741e00e29 TypeSystemPrinter: fix CABIFT with empty return

2025-05-13 16:18:34 +02:00

..

Importer

DwarfImporter: remove an input-dependent assert

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

Pass

ModelPasses: introduce fix-model

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

Binary.cpp

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

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

CMakeLists.txt

Implement python interface for revng

2025-05-07 10:48:51 +02:00

CommonTypeMethods.cpp

Adopt reworked model::Type

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

LoadModelPass.cpp

Improve usages of Expected<T>

2024-10-10 14:50:26 +02:00

NameBuilder.cpp

Introduce automatic names for dynamic functions

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

NamespaceBuilder.h

Model: sunset double name system

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

Processing.cpp

Adopt reworked model::Type

2024-06-27 11:05:51 +02: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 CABIFT with empty return

2025-05-13 16:18:34 +02:00

Verification.cpp

model::Function: switch to indices as comment keys

2025-05-08 15:42:00 +02:00

Visits.cpp

Adopt reworked model::Type

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