Pull requests: revng/revng
Author
Label
Projects
Milestones
Reviews
Assignee
Sort
Pull requests list
Introduce
Undirected
GraphTraits
for GenericGraph
ready
#388
opened May 13, 2024 by
andrealinux1
Loading…
Rework model type system (and say goodbye to
model::QualifiedType
)
#360
opened Feb 21, 2024 by
Cvelth
Loading…
Introduce
getInvalidations
for IsolatedKind
low-prio
#209
opened Aug 3, 2022 by
antoniofrighetto
Loading…
Use debug symbols to handle
noreturn
callsites and calls through .plt
stubs
#41
opened Jan 25, 2021 by
andrealinux1
•
Draft
ProTip!
Filter pull requests by the default branch with base:develop.