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/model-tracking
revng-revng/tests/unit
T
History
Massimo Fioravanti 7804dab1d5 Add model tracking visits 
Implement the core visits that are able to inspect the model bypassing
the instrumentation.
2023-04-21 17:30:33 +02:00
..
test_graphs
Add FilteredGraphTraits with tests
2020-06-13 10:36:08 +02:00
TupleTreeGenerator
TupleTree: switch from public fields to accessors
2022-12-12 18:36:57 +01:00
AdvancedValueInfo.cpp
Drop usage of Type::getPointerElementType
2023-04-08 08:42:24 +02:00
Alignment.cpp
ABI-testing: add unit tests for the alignment
2023-03-15 10:19:03 +01:00
ClassSentinel.cpp
Move StackAnalysis to EarlyFunctionAnalysis
2021-12-15 18:03:30 +01:00
CMakeLists.txt
PipelineC: add tracing
2023-04-20 14:43:13 +02:00
ConstantRangeSet.cpp
Enforce new include conventions
2020-11-13 10:00:24 +01:00
DepthFirstVisit.h
Remove dead code and fix spurious warnings
2023-04-08 08:42:23 +02:00
DiffInvalidationEvent.cpp
TupleTree: switch from public fields to accessors
2022-12-12 18:36:57 +01:00
FilteredGraphTraits.cpp
Drop usages of getBasicBlockList
2023-04-08 08:42:24 +02:00
GenericGraph.cpp
Remove dead code and fix spurious warnings
2023-04-08 08:42:23 +02:00
InstantiatePasses.cpp
Rework LoadModelPass
2022-03-08 15:04:34 +01:00
IRHelpers.cpp
pruneDICompileUnits: delegate to DIFinder
2023-04-14 08:36:05 +02:00
KeyedObjectsContainers.cpp
Fix: add missing methods of TrackingContainer
2023-04-21 17:30:33 +02:00
LazySmallBitVector.cpp
Enforce new include conventions
2020-11-13 10:00:24 +01:00
Location.cpp
Introduce BasicBlockID
2023-02-23 14:51:10 +01:00
MetaAddress.cpp
Support streaming llvm::Errors to Loggers
2022-03-08 15:04:34 +01:00
Model.cpp
Add model tracking visits
2023-04-21 17:30:33 +02:00
ModelType.cpp
Model & ABI: make size and alignment stricter
2023-03-15 10:19:02 +01:00
Pipeline.cpp
Fix literal signedness in comparisons
2023-04-08 08:42:24 +02:00
PipelineC.cpp
PipelineC: rp_initialize: only use argc and argv
2023-04-20 14:43:12 +02:00
PipelineCTracing.cpp
PipelineC: add tracing
2023-04-20 14:43:13 +02:00
RecursiveCoroutine.cpp
Drop experimental from coroutines
2023-04-08 08:42:23 +02:00
RegisterStateDeductions.cpp
ABI: move state deduction onto the runtime trait
2023-03-15 10:19:02 +01:00
ShrinkInstructionOperandsPass.cpp
Enforce new include conventions
2020-11-13 10:00:24 +01:00
SimpleRecursiveCoroutine.h
clang-tidy: readability-identifier-naming
2022-01-07 09:18:05 +01:00
SmallMap.cpp
Implement revng::SmallMap::contains
2021-09-01 16:32:56 +02:00
TestKeyedObject.h
Standardize concept naming across the codebase
2022-08-05 17:27:56 +03:00
UpcastablePointer.cpp
Adopt std::same_as of libcxx
2022-04-15 18:25:08 +02:00
ZipMapIterator.cpp
Switch from llvm::Optional to std::optional
2023-04-08 08:42:24 +02:00