Alessandro Di Federico 1d8382187c Dismiss ConstantStringsPool, use getUniqueString

2023-04-28 14:04:32 +02:00

..

CMakeLists.txt

Adopt cmake-format

2022-03-17 18:52:18 +01:00

DropRoot.cpp

Pipeline: remove * from targets

2022-10-20 14:20:12 +02:00

EnforceABI.cpp

Introduce revng::verify

2023-04-28 14:04:31 +02:00

InlineHelpers.cpp

InlineHelpers: drop !dbg post-inlining

2023-04-13 18:11:48 +02:00

InvokeIsolatedFunctions.cpp

Make CreateLoad usages opaque pointers-compatible

2023-04-08 08:42:24 +02:00

IsolateFunctions.cpp

Dismiss ConstantStringsPool, use getUniqueString

2023-04-28 14:04:32 +02:00

PromoteCSVs.cpp

Adopt setOnlyReadsMemory

2023-04-08 08:42:24 +02:00

RemoveExceptionalCalls.cpp

Rename Lifted tag to Isolated

2022-03-17 14:10:50 +01:00

StructInitializers.cpp

struct_initializer: mark as pure

2023-04-13 18:11:48 +02:00