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
1,995 Commits 215 Branches 0 Tags
d82255b3fa0d4a4cfcf2dbe2dbd3853bf0435f5e
Commit Graph

158 Commits

Author SHA1 Message Date
Pietro Fezzardi fc40f646a4 Replace CBackendPass with revng-decompile tool 
This commit replace the old CBackendPass with a standalone tool:
revng-decompile.
This pass at the moment runs the three stages of decompilation:
  - CFG restructuring
  - Beautify GHAST
  - C Code generation
 2022-05-11 15:19:25 +02:00
Pietro Fezzardi 238b98c3da Switch all revng-c to revng-pipeline 2022-05-11 12:42:38 +02:00
Pietro Fezzardi 5071fe8dc4 Add CDecompilationPipe 2022-05-11 12:42:38 +02:00
Pietro Fezzardi 2c9829f042 Backend: skip dumpToString call when Loggers off 
This brings a huge speedup to the new decompiler backend.
 2022-04-26 18:12:08 +02:00
Pietro Fezzardi 55a23079da DecompileFunction: fix switch state variables 2022-04-26 10:18:46 +02:00
Pietro Fezzardi b909bb6629 New MarkAssignments library in IRCanonicalization 
This library replaces the old AddIRSerializationMarkers, cleaning up a
lot of historcal baggage, merging Liveness and MarkAnalysis, and
adopting a more accurate naming across all the codebase.
 2022-04-21 18:13:51 +02:00
Pietro Fezzardi 65c3460be1 Fix coding conventions 2022-04-20 18:06:53 +02:00
Alvise de Faveri e875b7f1c6 Add string-based C backend 2022-04-20 17:35:05 +02:00