Ivan Krysak e6d8ac2c87 Model: improve RFT verification output

2025-07-23 11:38:53 +02:00

..

Importer

DwarfImporter: remove an input-dependent assert

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

Pass

std::string: use implicit default constructor

2025-07-23 11:38:53 +02:00

Binary.cpp

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

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

CMakeLists.txt

CMakeLists: remove unused variables

2025-07-23 11:38:52 +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

NamingConfiguration: add UnnamedGotoLabelPrefix

2025-07-23 11:38:50 +02:00

NamespaceBuilder.h

Use explicit separator strings

2025-07-23 11:38:52 +02: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

Model: improve RFT verification output

2025-07-23 11:38:53 +02:00

Visits.cpp

Adopt reworked model::Type

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