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
2,823 Commits 215 Branches 0 Tags
feature/nodesbetween-fix
Commit Graph

2 Commits

Author SHA1 Message Date
Giacomo Vercesi ca82e47f79 FunctionStringMap: switch to using GzipTarFile 
Change the serialization and deserialzation functions of
`FunctionStringMap` to use the GzipTarFile. Also change che filename
of the underlying containers accordingly.
 2023-09-06 15:23:43 +02:00
Giacomo Vercesi df68b2c7c0 revng ptml: merge cat and strip 
Merge the cat and strip subcommands within `revng ptml`
Refactor codebase so that both color and plaintext output are handled
in a unified manner.
 2022-09-29 15:43:17 +02:00