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/c-qa-1
revng-revng/lib
T
History
Alessandro Di Federico 1c40132242 newpc: add nomerge, willreturn, nounwind
2023-10-06 14:04:14 +02:00
..
ABI
TupleTreeReference::isValid is for assertions only
2023-08-23 16:14:05 +02:00
BasicAnalyses
Enforce licence header consistency
2023-07-03 15:23:10 +00:00
EarlyFunctionAnalysis
DetectABI::propagatePrototypes: improve logging
2023-10-05 16:25:35 +02:00
FunctionCallIdentification
Enforce licence header consistency
2023-07-03 15:23:10 +00:00
FunctionIsolation
{,Dynamic}Function::Prototype: support typedefs
2023-10-05 10:19:44 +02:00
GraphLayout
Enforce licence header consistency
2023-07-03 15:23:10 +00:00
Lift
newpc: add nomerge, willreturn, nounwind
2023-10-06 14:04:14 +02:00
Model
DwarfImporter: handle invalid function addresses
2023-10-05 17:13:02 +02:00
Pipeline
pipeline: Emit error if a pipe is not LLVM one
2023-09-21 08:05:50 +02:00
PipelineC
Implement storage credentials update
2023-09-14 17:32:08 +02:00
Pipes
Implement storage credentials update
2023-09-14 17:32:08 +02:00
PTML
PTML Doxygen: emit comment only if present
2023-10-05 10:19:44 +02:00
Recompile
Enforce licence header consistency
2023-07-03 15:23:10 +00:00
Storage
Implement storage credentials update
2023-09-14 17:32:08 +02:00
Support
Introduce GzipTarFile
2023-09-06 15:23:43 +02:00
TypeShrinking
TypeShrinking: shrink zext(value) == constant
2023-07-26 10:16:25 +02:00
UnitTestHelpers
Enforce licence header consistency
2023-07-03 15:23:10 +00:00
ValueMaterializer
AdvancedValueInfo: improve logging
2023-07-26 10:16:25 +02:00
Yield
PTML: introduce data-scope-location
2023-07-31 16:05:51 +02:00
CMakeLists.txt
revng: introduce S3 support
2023-09-06 15:23:43 +02:00