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
6,119 Commits 215 Branches 0 Tags
feature/remove-s3-cpp
Commit Graph

4 Commits

Author SHA1 Message Date
Alessandro Di Federico 143c315196 Merge revng-c into revng 2024-11-21 10:50:55 +01:00
Alessandro Di Federico 0c212b66d9 Relicense to MIT 2024-02-29 17:03:36 +01:00
Pietro Fezzardi 8df6b0d7d8 DLA: relax assertions on MergePointerNodes 
The DLAStep can now effectively run at any time, without assuming any
specific property of the underlying graph.
 2024-01-26 16:49:52 +01:00
Pietro Fezzardi 5a37fe8a84 DLA: add MergePointerNodes Step 
This Step merges nodes with outgoing pointer-edges pointing to the same
pointee node.
 2022-06-08 10:22:35 +02:00