Pietro Fezzardi 2f6c8b6f67 TypeSystemPrinter: fix CABIFT with empty return

2025-05-29 09:31:26 +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

CABIFunctionDefinition: drop array argument/return

2025-05-28 17:11:11 +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-29 09:31:26 +02:00

Verification.cpp

CABIFunctionDefinition: no pointer-to-array return

2025-05-28 17:11:11 +02:00

Visits.cpp

Adopt reworked model::Type

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