Andrea Gussoni 137a9384af BeautifyGHAST: introduce soft failure ...

Introduce a consistency check for ensuring that all the `ASTNode`s in
the `ASTTree` have a valid `Kind`. If this is not true, we soft fail.

2025-06-26 12:02:38 +02:00

..

ASTNode.cpp

Merge revng-c into revng

2024-11-21 10:50:55 +01:00

ASTNodeUtils.cpp

Standardize comment formatting

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

ASTTree.cpp

ASTTree: introduce soft failure

2025-06-26 09:34:26 +02:00

BasicBlockNode.cpp

Merge revng-c into revng

2024-11-21 10:50:55 +01:00

BeautifyGHAST.cpp

BeautifyGHAST: introduce soft failure

2025-06-26 12:02:38 +02:00

CMakeLists.txt

MTGoTo: introduce the MaterializeTrivialGoto pass

2025-04-30 16:10:54 +02:00

DAGifyPass.cpp

DAGify: single ScopeGraphBuilder instance

2025-06-12 15:31:38 +02:00

EnforceSingleExitPass.cpp

ESE: single ScopeGraphBuilder instance

2025-06-12 15:31:38 +02:00

ExprNode.cpp

Merge revng-c into revng

2024-11-21 10:50:55 +01:00

FallThroughScopeAnalysis.cpp

Standardize comment formatting

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

FallThroughScopeAnalysis.h

FallThroughScope: remove SwitchBreak type

2024-05-07 14:17:05 +02:00

GenericRegionInfo.cpp

Fix MIT license

2025-04-30 16:10:54 +02:00

GenericRegionPass.cpp

Fix MIT license

2025-04-30 16:10:54 +02:00

InlineDispatcherSwitch.cpp

InlineDispatcherSwitch: soft fail

2025-06-26 12:02:38 +02:00

InlineDispatcherSwitch.h

InlineDispatcherSwitch: improve function signature

2024-05-07 14:17:05 +02:00

InlineDivergentScopesPass.cpp

IDS: improve collection restart criterion

2025-06-12 15:31:38 +02:00

MaterializeTrivialGotoPass.cpp

MTGoTo: introduce the MaterializeTrivialGoto pass

2025-04-30 16:10:54 +02:00

MetaRegion.cpp

Merge revng-c into revng

2024-11-21 10:50:55 +01:00

PromoteCallNoReturn.cpp

Standardize comment formatting

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

PromoteCallNoReturn.h

Relicense to MIT

2024-02-29 17:03:36 +01:00

RegionCFGTree.cpp

Merge revng-c into revng

2024-11-21 10:50:55 +01:00

RemoveDeadCode.cpp

Merge revng-c into revng

2024-11-21 10:50:55 +01:00

RemoveDeadCode.h

RemoveDeadCode: dead code removal beautify

2024-05-07 14:17:05 +02:00

RestructureCFG.cpp

RestructureCFG: introduce soft failure

2025-06-20 14:04:51 +02:00

ScopeGraphAlgorithms.cpp

ScopeGraph: introduce isScopeGraphDecided helper

2025-04-30 16:10:54 +02:00

ScopeGraphUtils.cpp

ScopeGraph: optimize ScopeGraphBuilder

2025-06-12 15:31:38 +02:00

SelectScopePass.cpp

SelectScope: single ScopeGraphBuilder instance

2025-06-12 15:31:38 +02:00

SimplifyCompareNode.cpp

Merge revng-c into revng

2024-11-21 10:50:55 +01:00

SimplifyCompareNode.h

Relicense to MIT

2024-02-29 17:03:36 +01:00

SimplifyDualSwitch.cpp

Merge revng-c into revng

2024-11-21 10:50:55 +01:00

SimplifyDualSwitch.h

Relicense to MIT

2024-02-29 17:03:36 +01:00

SimplifyHybridNot.cpp

Merge revng-c into revng

2024-11-21 10:50:55 +01:00

SimplifyHybridNot.h

Relicense to MIT

2024-02-29 17:03:36 +01:00

SimplifyImplicitStatement.cpp

Merge revng-c into revng

2024-11-21 10:50:55 +01:00

SimplifyImplicitStatement.h

Relicense to MIT

2024-02-29 17:03:36 +01:00