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/debian-lddtree-support
revng-revng/python/revng/cli/_commands/ptml
T
History
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
..
__init__.py
FunctionStringMap: switch to using GzipTarFile
2023-09-06 15:23:43 +02:00
common.py
FunctionStringMap: switch to using GzipTarFile
2023-09-06 15:23:43 +02:00
text.py
FunctionStringMap: switch to using GzipTarFile
2023-09-06 15:23:43 +02:00