admin/revng-revng
1
0
Fork 0
mirror of https://github.com/revng/revng synced 2026-06-21 14:07:57 +00:00
Code Issues Packages Projects Releases Wiki Activity
Files
feature/targets-invalidation
revng-revng/lib
T
History
Antonio Frighetto 55dec84e1f Introduce IsolatedKind::getInvalidations 
Targets may be no longer valid upon changes to the model done by
the user, thus they require to be invalidated. Targets associated
to `IsolatedFunctionKind`, whose Kind is produced by `IsolatePipe`
and handled in `IsolateFunctions`, are now recomputed via newly-
added `getInvalidations`.
2023-01-09 16:18:59 +01:00
..
ABI
TupleTree: switch from public fields to accessors
2022-12-12 18:36:57 +01:00
BasicAnalyses
TupleTree: switch from public fields to accessors
2022-12-12 18:36:57 +01:00
EarlyFunctionAnalysis
TupleTree: switch from public fields to accessors
2022-12-12 18:36:57 +01:00
FunctionCallIdentification
Rework EarlyFunctionAnalysis
2022-08-08 13:55:34 +02:00
FunctionIsolation
Introduce IsolatedKind::getInvalidations
2023-01-09 16:18:59 +01:00
Lift
Lift: re-enable InstCombine upon harvesting
2023-01-03 13:41:40 +01:00
Model
Pipe: run to be returning a revng::ErrorList
2023-01-09 16:18:59 +01:00
Pipeline
Pipeline: refine overestimated targets
2023-01-09 16:18:59 +01:00
PipelineC
Allow access to Global in invalidation
2023-01-09 16:18:59 +01:00
Pipes
Introduce IsolatedKind::getInvalidations
2023-01-09 16:18:59 +01:00
PTML
PTMLIndentedOstream: rework write_impl
2022-09-01 17:46:04 +02:00
Recompile
Introduce IsolatedKind::getInvalidations
2023-01-09 16:18:59 +01:00
Support
eraseIfNoUse: check if WeakVH is dead
2023-01-03 20:51:45 +01:00
TypeShrinking
Adopt cmake-format
2022-03-17 18:52:18 +01:00
UnitTestHelpers
mv librevngUnitTestHelpers.{a,so}
2022-05-12 21:55:18 +02:00
Yield
Introduce IsolatedKind::getInvalidations
2023-01-09 16:18:59 +01:00
CMakeLists.txt
Introduce ptml namespace
2022-07-28 08:47:17 +02:00